Image decoding method for residual coding, and device therefor

ABSTRACT

An image decoding method carried out by a decoding device, according to the present document, comprises the steps of: acquiring a sign data hiding enable flag; acquiring a transform skip residual coding (TSRC) enable flag on the basis of the sign data hiding enable flag; acquiring residual information for a current block, on the basis of the TSRC enable flag; deriving a residual sample of the current block, on the basis of the residual information; and generating a reconstructed picture on the basis of the residual sample, wherein the sign data hiding enable flag is a flag indicating whether sign data hiding is enabled, the TSRC enable flag is a flag indicating whether TSRC is enabled, and the TSRC enable flag is acquired on the basis of the sign data hiding enable flag having a value of zero.

CROSS-REFERENCE TO RELATED APPLICATIONS

This application is a continuation of International Application No.PCT/KR2021/003892, filed on Mar. 30, 2021, which claims the benefit ofU.S. Provisional Application No. 63/003,221, filed on Mar. 31, 2020. Thedisclosures of the prior applications are incorporated by reference intheir entirety.

TECHNICAL FIELD

The present disclosure relates to an image coding technology, and moreparticularly, to an image decoding method and an apparatus thereof,which code flag information representing whether TSRC is enabled incoding residual data of a current block in an image coding system.

BACKGROUND

Recently, demand for high-resolution, high-quality images, such as HighDefinition (HD) images and Ultra High Definition (UHD) images, has beenincreasing in various fields. As the image data has high resolution andhigh quality, the amount of information or bits to be transmittedincreases relative to the legacy image data. Therefore, when image datais transmitted using a medium such as a conventional wired/wirelessbroadband line or image data is stored using an existing storage medium,the transmission cost and the storage cost thereof are increased.

Accordingly, there is a need for a highly efficient image compressiontechnique for effectively transmitting, storing, and reproducinginformation of high-resolution and high-quality images.

SUMMARY

The present disclosure provides a method and apparatus for improvingimage coding efficiency.

The present disclosure also provides a method and apparatus forimproving residual coding efficiency.

According to an embodiment of the present disclosure, an image decodingmethod performed by a decoding apparatus is provided. The methodincludes: obtaining a sign data hiding enabled flag; obtaining atransform skip residual coding (TSRC) enabled flag based on the signdata hiding enabled flag; obtaining residual information for a currentblock based on the TSRC enabled flag; deriving a residual sample of thecurrent block based on the residual information; and generating areconstructed picture based on the residual sample, wherein the signdata hiding enabled flag is a flag for whether sign data hiding isenabled, wherein the TSRC enabled flag is a flag for whether TSRC isenabled, and wherein the TSRC enabled flag is obtained based on the signdata hiding enabled flag having a value of 0.

According to another embodiment of the present disclosure, a decodingapparatus performing image decoding is provided. The decoding apparatusincludes: an entropy decoder configured to obtain a sign data hidingenabled flag, to obtain a transform skip residual coding (TSRC) enabledflag based on the sign data hiding enabled flag, to obtain residualinformation for a current block based on the TSRC enabled flag; aresidual processor configured to derive a residual sample of the currentblock based on the residual information; and an adder configured togenerate a reconstructed picture based on the residual sample, whereinthe sign data hiding enabled flag is a flag for whether sign data hidingis enabled, wherein the TSRC enabled flag is a flag for whether TSRC isenabled, and wherein the TSRC enabled flag is obtained based on the signdata hiding enabled flag having a value of 0.

According to still another embodiment of the present disclosure, a videoencoding method performed by an encoding apparatus is provided. Themethod includes: encoding a sign data hiding enabled flag for whethersign data hiding is enabled; encoding a Transform Skip Residual Coding(TSRC) enabled flag for whether TSRC is enabled based on the sign datahiding enabled flag; encoding residual information for a current blockbased on the TSRC enabled flag; and generating a bitstream including thesign data hiding enabled flag, the TSRC enabled flag and the residualinformation, wherein the TSRC enabled flag is encoded based on the signdata hiding enabled flag having a value of 0.

According to still another embodiment of the present disclosure, a videoencoding apparatus is provided. The encoding apparatus includes anentropy encoder configured to encode a sign data hiding enabled flag forwhether sign data hiding is enabled, to encode a Transform Skip ResidualCoding (TSRC) enabled flag for whether TSRC is enabled based on the signdata hiding enabled flag, to encode residual information for a currentblock based on the TSRC enabled flag, to generate a bitstream includingthe sign data hiding enabled flag, the TSRC enabled flag and theresidual information, wherein the TSRC enabled flag is encoded based onthe sign data hiding enabled flag having a value of 0.

According to still another embodiment of the present disclosure, anon-transitory computer-readable storage medium storing a bitstreamincluding image information causing to perform an image decoding methodis provided. In the non-transitory computer-readable storage medium, theimage decoding method includes: obtaining a sign data hiding enabledflag; obtaining a transform skip residual coding (TSRC) enabled flagbased on the sign data hiding enabled flag; obtaining residualinformation for a current block based on the TSRC enabled flag; derivinga residual sample of the current block based on the residualinformation; and generating a reconstructed picture based on theresidual sample, wherein the sign data hiding enabled flag is a flag forwhether sign data hiding is enabled, wherein the TSRC enabled flag is aflag for whether TSRC is enabled, and wherein the TSRC enabled flag isobtained based on the sign data hiding enabled flag having a value of 0.

According to the present disclosure, the residual coding efficiency canbe enhanced.

According to the present disclosure, the TSRC enabled flag can besignaled when the sign data hiding is not enabled by setting thesignaling relationship between the sign data hiding enabled flag and theTSRC enabled flag, through this, when the RRC syntax is coded for thetransform skip block because the TSRC is not enabled, sign data hidingis not used to improve coding efficiency, and the overall residualcoding efficiency can be improved through reduction of the amount ofbits being coded.

According to the present disclosure, the signaling relationship betweena dependent quantization enabled flag and a TSRC enabled flag isestablished, and if the dependent quantization is not enabled, the TSRCenabled flag can be signaled, and through this, if the TSRC is notenabled and an RRC syntax is coded for a transform skip block, thedependent quantization is not to be used, so that the coding efficiencyis improved, and the overall residual coding efficiency can be improvedthrough reduction of the amount of bits being coded.

According to the present disclosure, the signaling relationship betweena transform skip enabled flag and the TSRC enabled flag is established,and if the transform skip is enabled, the TSRC enabled flag can besignaled, and through this, the overall residual coding efficiency canbe improved through reduction of the amount of bits being coded.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 briefly illustrates an example of a video/image coding device towhich embodiments of the present disclosure are applicable.

FIG. 2 is a schematic diagram illustrating a configuration of avideo/image encoding apparatus to which the embodiment(s) of the presentdisclosure may be applied.

FIG. 3 is a schematic diagram illustrating a configuration of avideo/image decoding apparatus to which the embodiment(s) of the presentdisclosure may be applied.

FIG. 4 exemplarily shows context-adaptive binary arithmetic coding(CABAC) for encoding a syntax element.

FIG. 5 is a diagram showing exemplary transform coefficients within a4×4 block.

FIG. 6 exemplarily illustrates scalar quantizers being used in dependentquantization.

FIG. 7 exemplarily illustrates state transition and quantizer selectionfor dependent quantization.

FIG. 8 briefly illustrates an image encoding method performed by anencoding apparatus according to the present disclosure.

FIG. 9 briefly illustrates an encoding apparatus for performing an imageencoding method according to the present disclosure.

FIG. 10 briefly illustrates an image decoding method performed by adecoding apparatus according to the present disclosure.

FIG. 11 briefly illustrates a decoding apparatus for performing an imagedecoding method according to the present disclosure.

FIG. 12 illustrates a structural diagram of a contents streaming systemto which the present disclosure is applied.

DETAILED DESCRIPTION

The present disclosure may be modified in various forms, and specificembodiments thereof will be described and illustrated in the drawings.However, the embodiments are not intended for limiting the disclosure.The terms used in the following description are used to merely describespecific embodiments but are not intended to limit the disclosure. Anexpression of a singular number includes an expression of the pluralnumber, so long as it is clearly read differently. The terms such as“include” and “have” are intended to indicate that features, numbers,steps, operations, elements, components, or combinations thereof used inthe following description exist and it should be thus understood thatthe possibility of existence or addition of one or more differentfeatures, numbers, steps, operations, elements, components, orcombinations thereof is not excluded.

Meanwhile, elements in the drawings described in the disclosure areindependently drawn for the purpose of convenience for explanation ofdifferent specific functions, and do not mean that the elements areembodied by independent hardware or independent software. For example,two or more elements of the elements may be combined to form a singleelement, or one element may be partitioned into plural elements. Theembodiments in which the elements are combined and/or partitioned belongto the disclosure without departing from the concept of the disclosure.

Hereinafter, embodiments of the present disclosure will be described indetail with reference to the accompanying drawings. In addition, likereference numerals are used to indicate like elements throughout thedrawings, and the same descriptions on the like elements will beomitted.

FIG. 1 briefly illustrates an example of a video/image coding device towhich embodiments of the present disclosure are applicable.

Referring to FIG. 1 , a video/image coding system may include a firstdevice (source device) and a second device (receiving device). Thesource device may deliver encoded video/image information or data in theform of a file or streaming to the receiving device via a digitalstorage medium or network.

The source device may include a video source, an encoding apparatus, anda transmitter. The receiving device may include a receiver, a decodingapparatus, and a renderer. The encoding apparatus may be called avideo/image encoding apparatus, and the decoding apparatus may be calleda video/image decoding apparatus. The transmitter may be included in theencoding apparatus. The receiver may be included in the decodingapparatus. The renderer may include a display, and the display may beconfigured as a separate device or an external component.

The video source may acquire video/image through a process of capturing,synthesizing, or generating the video/image. The video source mayinclude a video/image capture device and/or a video/image generatingdevice. The video/image capture device may include, for example, one ormore cameras, video/image archives including previously capturedvideo/images, and the like. The video/image generating device mayinclude, for example, computers, tablets and smartphones, and may(electronically) generate video/images. For example, a virtualvideo/image may be generated through a computer or the like. In thiscase, the video/image capturing process may be replaced by a process ofgenerating related data.

The encoding apparatus may encode input image/image. The encodingapparatus may perform a series of procedures such as prediction,transform, and quantization for compression and coding efficiency. Theencoded data (encoded video/image information) may be output in the formof a bitstream.

The transmitter may transmit the encoded image/image information or dataoutput in the form of a bitstream to the receiver of the receivingdevice through a digital storage medium or a network in the form of afile or streaming. The digital storage medium may include variousstorage mediums such as USB, SD, CD, DVD, Blu-ray, HDD, SSD, and thelike. The transmitter may include an element for generating a media filethrough a predetermined file format and may include an element fortransmission through a broadcast/communication network. The receiver mayreceive/extract the bitstream and transmit the received bitstream to thedecoding apparatus.

The decoding apparatus may decode the video/image by performing a seriesof procedures such as dequantization, inverse transform, and predictioncorresponding to the operation of the encoding apparatus.

The renderer may render the decoded video/image. The renderedvideo/image may be displayed through the display.

Present disclosure relates to video/image coding. For example, themethods/embodiments disclosed in the present disclosure may be appliedto a method disclosed in the versatile video coding (VVC), the EVC(essential video coding) standard, the AOMedia Video 1 (AV1) standard,the 2nd generation of audio video coding standard (AVS2), or the nextgeneration video/image coding standard (ex. H.267 or H.268, etc.).

Present disclosure presents various embodiments of video/image coding,and the embodiments may be performed in combination with each otherunless otherwise mentioned.

In the present disclosure, video may refer to a series of images overtime. Picture generally refers to a unit representing one image in aspecific time zone, and a subpicture/slice/tile is a unit constitutingpart of a picture in coding. The subpicture/slice/tile may include oneor more coding tree units (CTUs). One picture may consist of one or moresubpictures/slices/tiles. One picture may consist of one or more tilegroups. One tile group may include one or more tiles. A brick mayrepresent a rectangular region of CTU rows within a tile in a picture. Atile may be partitioned into multiple bricks, each of which consistingof one or more CTU rows within the tile. A tile that is not partitionedinto multiple bricks may be also referred to as a brick. A brick scan isa specific sequential ordering of CTUs partitioning a picture in whichthe CTUs are ordered consecutively in CTU raster scan in a brick, brickswithin a tile are ordered consecutively in a raster scan of the bricksof the tile, and tiles in a picture are ordered consecutively in araster scan of the tiles of the picture. In addition, a subpicture mayrepresent a rectangular region of one or more slices within a picture.That is, a subpicture contains one or more slices that collectivelycover a rectangular region of a picture. A tile is a rectangular regionof CTUs within a particular tile column and a particular tile row in apicture. The tile column is a rectangular region of CTUs having a heightequal to the height of the picture and a width specified by syntaxelements in the picture parameter set. The tile row is a rectangularregion of CTUs having a height specified by syntax elements in thepicture parameter set and a width equal to the width of the picture. Atile scan is a specific sequential ordering of CTUs partitioning apicture in which the CTUs are ordered consecutively in CTU raster scanin a tile whereas tiles in a picture are ordered consecutively in araster scan of the tiles of the picture. A slice includes an integernumber of bricks of a picture that may be exclusively contained in asingle NAL unit. A slice may consist of either a number of completetiles or only a consecutive sequence of complete bricks of one tile.Tile groups and slices may be used interchangeably in the presentdisclosure. For example, in the present disclosure, a tile group/tilegroup header may be called a slice/slice header.

A pixel or a pel may mean a smallest unit constituting one picture (orimage). Also, ‘sample’ may be used as a term corresponding to a pixel. Asample may generally represent a pixel or a value of a pixel, and mayrepresent only a pixel/pixel value of a luma component or only apixel/pixel value of a chroma component.

A unit may represent a basic unit of image processing. The unit mayinclude at least one of a specific region of the picture and informationrelated to the region. One unit may include one luma block and twochroma (ex. cb, cr) blocks. The unit may be used interchangeably withterms such as block or area in some cases. In a general case, an M×Nblock may include samples (or sample arrays) or a set (or array) oftransform coefficients of M columns and N rows.

In the present description, “A or B” may mean “only A”, “only B” or“both A and B”. In other words, in the present specification, “A or B”may be interpreted as “A and/or B”. For example, “A, B or C” hereinmeans “only A”, “only B”, “only C”, or “any and any combination of A, Band C”.

A slash (/) or a comma (comma) used in the present description may mean“and/or”. For example, “A/B” may mean “A and/or B”. Accordingly, “A/B”may mean “only A”, “only B”, or “both A and B”. For example, “A, B, C”may mean “A, B, or C”.

In the present description, “at least one of A and B” may mean “only A”,“only B”, or “both A and B”. In addition, in the present description,the expression “at least one of A or B” or “at least one of A and/or B”may be interpreted the same as “at least one of A and B”.

In addition, in the present description, “at least one of A, B and C”means “only A”, “only B”, “only C”, or “any combination of A, B and C”.Also, “at least one of A, B or C” or “at least one of A, B and/or C” maymean “at least one of A, B and C”.

In addition, parentheses used in the present description may mean “forexample”. Specifically, when “prediction (intra prediction)” isindicated, “intra prediction” may be proposed as an example of“prediction”. In other words, “prediction” in the present description isnot limited to “intra prediction”, and “intra prediction” may beproposed as an example of “prediction”. Also, even when “prediction (ie,intra prediction)” is indicated, “intra prediction” may be proposed asan example of “prediction”.

In the present description, technical features that are individuallydescribed within one drawing may be implemented individually or may beimplemented at the same time.

The following drawings were created to explain a specific example of thepresent description. Since the names of specific devices described inthe drawings or the names of specific signals/messages/fields arepresented by way of example, the technical features of the presentdescription are not limited to the specific names used in the followingdrawings.

FIG. 2 is a schematic diagram illustrating a configuration of avideo/image encoding apparatus to which the embodiment(s) of the presentdisclosure may be applied. Hereinafter, the video encoding apparatus mayinclude an image encoding apparatus.

Referring to FIG. 2 , the encoding apparatus 200 includes an imagepartitioner 210, a predictor 220, a residual processor 230, and anentropy encoder 240, an adder 250, a filter 260, and a memory 270. Thepredictor 220 may include an inter predictor 221 and an intra predictor222. The residual processor 230 may include a transformer 232, aquantizer 233, a dequantizer 234, and an inverse transformer 235. Theresidual processor 230 may further include a subtractor 231. The adder250 may be called a reconstructor or a reconstructed block generator.The image partitioner 210, the predictor 220, the residual processor230, the entropy encoder 240, the adder 250, and the filter 260 may beconfigured by at least one hardware component (ex. An encoder chipset orprocessor) according to an embodiment. In addition, the memory 270 mayinclude a decoded picture buffer (DPB) or may be configured by a digitalstorage medium. The hardware component may further include the memory270 as an internal/external component.

The image partitioner 210 may partition an input image (or a picture ora frame) input to the encoding apparatus 200 into one or moreprocessors. For example, the processor may be called a coding unit (CU).In this case, the coding unit may be recursively partitioned accordingto a quad-tree binary-tree ternary-tree (QTBTTT) structure from a codingtree unit (CTU) or a largest coding unit (LCU). For example, one codingunit may be partitioned into a plurality of coding units of a deeperdepth based on a quad tree structure, a binary tree structure, and/or aternary structure. In this case, for example, the quad tree structuremay be applied first and the binary tree structure and/or ternarystructure may be applied later. Alternatively, the binary tree structuremay be applied first. The coding procedure according to the presentdisclosure may be performed based on the final coding unit that is nolonger partitioned. In this case, the largest coding unit may be used asthe final coding unit based on coding efficiency according to imagecharacteristics, or if necessary, the coding unit may be recursivelypartitioned into coding units of deeper depth and a coding unit havingan optimal size may be used as the final coding unit. Here, the codingprocedure may include a procedure of prediction, transform, andreconstruction, which will be described later. As another example, theprocessor may further include a prediction unit (PU) or a transform unit(TU). In this case, the prediction unit and the transform unit may besplit or partitioned from the aforementioned final coding unit. Theprediction unit may be a unit of sample prediction, and the transformunit may be a unit for deriving a transform coefficient and/or a unitfor deriving a residual signal from the transform coefficient.

The unit may be used interchangeably with terms such as block or area insome cases. In a general case, an M×N block may represent a set ofsamples or transform coefficients composed of M columns and N rows. Asample may generally represent a pixel or a value of a pixel, mayrepresent only a pixel/pixel value of a luma component or represent onlya pixel/pixel value of a chroma component. A sample may be used as aterm corresponding to one picture (or image) for a pixel or a pel.

In the encoding apparatus 200, a prediction signal (predicted block,prediction sample array) output from the inter predictor 221 or theintra predictor 222 is subtracted from an input image signal (originalblock, original sample array) to generate a residual signal residualblock, residual sample array), and the generated residual signal istransmitted to the transformer 232. In this case, as shown, a unit forsubtracting a prediction signal (predicted block, prediction samplearray) from the input image signal (original block, original samplearray) in the encoder 200 may be called a subtractor 231. The predictormay perform prediction on a block to be processed (hereinafter, referredto as a current block) and generate a predicted block includingprediction samples for the current block. The predictor may determinewhether intra prediction or inter prediction is applied on a currentblock or CU basis. As described later in the description of eachprediction mode, the predictor may generate various information relatedto prediction, such as prediction mode information, and transmit thegenerated information to the entropy encoder 240. The information on theprediction may be encoded in the entropy encoder 240 and output in theform of a bitstream.

The intra predictor 222 may predict the current block by referring tothe samples in the current picture. The referred samples may be locatedin the neighborhood of the current block or may be located apartaccording to the prediction mode. In the intra prediction, predictionmodes may include a plurality of non-directional modes and a pluralityof directional modes. The non-directional mode may include, for example,a DC mode and a planar mode. The directional mode may include, forexample, 33 directional prediction modes or 65 directional predictionmodes according to the degree of detail of the prediction direction.However, this is merely an example, more or less directional predictionmodes may be used depending on a setting. The intra predictor 222 maydetermine the prediction mode applied to the current block by using aprediction mode applied to a neighboring block.

The inter predictor 221 may derive a predicted block for the currentblock based on a reference block (reference sample array) specified by amotion vector on a reference picture. Here, in order to reduce theamount of motion information transmitted in the inter prediction mode,the motion information may be predicted in units of blocks, sub-blocks,or samples based on correlation of motion information between theneighboring block and the current block. The motion information mayinclude a motion vector and a reference picture index. The motioninformation may further include inter prediction direction (L0prediction, L1 prediction, Bi prediction, etc.) information. In the caseof inter prediction, the neighboring block may include a spatialneighboring block present in the current picture and a temporalneighboring block present in the reference picture. The referencepicture including the reference block and the reference pictureincluding the temporal neighboring block may be the same or different.The temporal neighboring block may be called a collocated referenceblock, a co-located CU (colCU), and the like, and the reference pictureincluding the temporal neighboring block may be called a collocatedpicture (colPic). For example, the inter predictor 221 may configure amotion information candidate list based on neighboring blocks andgenerate information indicating which candidate is used to derive amotion vector and/or a reference picture index of the current block.Inter prediction may be performed based on various prediction modes. Forexample, in the case of a skip mode and a merge mode, the interpredictor 221 may use motion information of the neighboring block asmotion information of the current block. In the skip mode, unlike themerge mode, the residual signal may not be transmitted. In the case ofthe motion vector prediction (MVP) mode, the motion vector of theneighboring block may be used as a motion vector predictor and themotion vector of the current block may be indicated by signaling amotion vector difference.

The predictor 220 may generate a prediction signal based on variousprediction methods described below. For example, the predictor may notonly apply intra prediction or inter prediction to predict one block butalso simultaneously apply both intra prediction and inter prediction.This may be called combined inter and intra prediction (CIIP). Inaddition, the predictor may be based on an intra block copy (IBC)prediction mode or a palette mode for prediction of a block. The IBCprediction mode or palette mode may be used for content image/videocoding of a game or the like, for example, screen content coding (SCC).The IBC basically performs prediction in the current picture but may beperformed similarly to inter prediction in that a reference block isderived in the current picture. That is, the IBC may use at least one ofthe inter prediction techniques described in the present disclosure. Thepalette mode may be considered as an example of intra coding or intraprediction. When the palette mode is applied, a sample value within apicture may be signaled based on information on the palette table andthe palette index.

The prediction signal generated by the predictor (including the interpredictor 221 and/or the intra predictor 222) may be used to generate areconstructed signal or to generate a residual signal. The transformer232 may generate transform coefficients by applying a transformtechnique to the residual signal. For example, the transform techniquemay include at least one of a discrete cosine transform (DCT), adiscrete sine transform (DST), a karhunen-loève transform (KLT), agraph-based transform (GBT), or a conditionally non-linear transform(CNT). Here, the GBT means transform obtained from a graph whenrelationship information between pixels is represented by the graph. TheCNT refers to transform generated based on a prediction signal generatedusing all previously reconstructed pixels. In addition, the transformprocess may be applied to square pixel blocks having the same size ormay be applied to blocks having a variable size rather than square.

The quantizer 233 may quantize the transform coefficients and transmitthem to the entropy encoder 240 and the entropy encoder 240 may encodethe quantized signal (information on the quantized transformcoefficients) and output a bitstream. The information on the quantizedtransform coefficients may be referred to as residual information. Thequantizer 233 may rearrange block type quantized transform coefficientsinto a one-dimensional vector form based on a coefficient scanning orderand generate information on the quantized transform coefficients basedon the quantized transform coefficients in the one-dimensional vectorform. Information on transform coefficients may be generated. Theentropy encoder 240 may perform various encoding methods such as, forexample, exponential Golomb, context-adaptive variable length coding(CAVLC), context-adaptive binary arithmetic coding (CABAC), and thelike. The entropy encoder 240 may encode information necessary forvideo/image reconstruction other than quantized transform coefficients(ex. values of syntax elements, etc.) together or separately. Encodedinformation (ex. encoded video/image information) may be transmitted orstored in units of NALs (network abstraction layer) in the form of abitstream. The video/image information may further include informationon various parameter sets such as an adaptation parameter set (APS), apicture parameter set (PPS), a sequence parameter set (SPS), or a videoparameter set (VPS). In addition, the video/image information mayfurther include general constraint information. In the presentdisclosure, information and/or syntax elements transmitted/signaled fromthe encoding apparatus to the decoding apparatus may be included invideo/picture information. The video/image information may be encodedthrough the above-described encoding procedure and included in thebitstream. The bitstream may be transmitted over a network or may bestored in a digital storage medium. The network may include abroadcasting network and/or a communication network, and the digitalstorage medium may include various storage media such as USB, SD, CD,DVD, Blu-ray, HDD, SSD, and the like. A transmitter (not shown)transmitting a signal output from the entropy encoder 240 and/or astorage unit (not shown) storing the signal may be included asinternal/external element of the encoding apparatus 200, andalternatively, the transmitter may be included in the entropy encoder240.

The quantized transform coefficients output from the quantizer 233 maybe used to generate a prediction signal. For example, the residualsignal (residual block or residual samples) may be reconstructed byapplying dequantization and inverse transform to the quantized transformcoefficients through the dequantizer 234 and the inverse transformer235. The adder 250 adds the reconstructed residual signal to theprediction signal output from the inter predictor 221 or the intrapredictor 222 to generate a reconstructed signal (reconstructed picture,reconstructed block, reconstructed sample array). If there is noresidual for the block to be processed, such as a case where the skipmode is applied, the predicted block may be used as the reconstructedblock. The adder 250 may be called a reconstructor or a reconstructedblock generator. The generated reconstructed signal may be used forintra prediction of a next block to be processed in the current pictureand may be used for inter prediction of a next picture through filteringas described below.

Meanwhile, luma mapping with chroma scaling (LMCS) may be applied duringpicture encoding and/or reconstruction.

The filter 260 may improve subjective/objective image quality byapplying filtering to the reconstructed signal. For example, the filter260 may generate a modified reconstructed picture by applying variousfiltering methods to the reconstructed picture and store the modifiedreconstructed picture in the memory 270, specifically, a DPB of thememory 270. The various filtering methods may include, for example,deblocking filtering, a sample adaptive offset, an adaptive loop filter,a bilateral filter, and the like. The filter 260 may generate variousinformation related to the filtering and transmit the generatedinformation to the entropy encoder 240 as described later in thedescription of each filtering method. The information related to thefiltering may be encoded by the entropy encoder 240 and output in theform of a bitstream.

The modified reconstructed picture transmitted to the memory 270 may beused as the reference picture in the inter predictor 221. When the interprediction is applied through the encoding apparatus, predictionmismatch between the encoding apparatus 200 and the decoding apparatus300 may be avoided and encoding efficiency may be improved.

The DPB of the memory 270 DPB may store the modified reconstructedpicture for use as a reference picture in the inter predictor 221. Thememory 270 may store the motion information of the block from which themotion information in the current picture is derived (or encoded) and/orthe motion information of the blocks in the picture that have alreadybeen reconstructed. The stored motion information may be transmitted tothe inter predictor 221 and used as the motion information of thespatial neighboring block or the motion information of the temporalneighboring block. The memory 270 may store reconstructed samples ofreconstructed blocks in the current picture and may transfer thereconstructed samples to the intra predictor 222.

FIG. 3 is a schematic diagram illustrating a configuration of avideo/image decoding apparatus to which the embodiment(s) of the presentdisclosure may be applied.

Referring to FIG. 3 , the decoding apparatus 300 may include an entropydecoder 310, a residual processor 320, a predictor 330, an adder 340, afilter 350, a memory 360. The predictor 330 may include an interpredictor 331 and an intra predictor 332. The residual processor 320 mayinclude a dequantizer 321 and an inverse transformer 322. The entropydecoder 310, the residual processor 320, the predictor 330, the adder340, and the filter 350 may be configured by a hardware component (ex. Adecoder chipset or a processor) according to an embodiment. In addition,the memory 360 may include a decoded picture buffer (DPB) or may beconfigured by a digital storage medium. The hardware component mayfurther include the memory 360 as an internal/external component.

When a bitstream including video/image information is input, thedecoding apparatus 300 may reconstruct an image corresponding to aprocess in which the video/image information is processed in theencoding apparatus of FIG. 2 . For example, the decoding apparatus 300may derive units/blocks based on block partition related informationobtained from the bitstream. The decoding apparatus 300 may performdecoding using a processor applied in the encoding apparatus. Thus, theprocessor of decoding may be a coding unit, for example, and the codingunit may be partitioned according to a quad tree structure, binary treestructure and/or ternary tree structure from the coding tree unit or thelargest coding unit. One or more transform units may be derived from thecoding unit. The reconstructed image signal decoded and output throughthe decoding apparatus 300 may be reproduced through a reproducingapparatus.

The decoding apparatus 300 may receive a signal output from the encodingapparatus of FIG. 2 in the form of a bitstream, and the received signalmay be decoded through the entropy decoder 310. For example, the entropydecoder 310 may parse the bitstream to derive information (ex.video/image information) necessary for image reconstruction (or picturereconstruction). The video/image information may further includeinformation on various parameter sets such as an adaptation parameterset (APS), a picture parameter set (PPS), a sequence parameter set(SPS), or a video parameter set (VPS). In addition, the video/imageinformation may further include general constraint information. Thedecoding apparatus may further decode picture based on the informationon the parameter set and/or the general constraint information.Signaled/received information and/or syntax elements described later inthe present disclosure may be decoded may decode the decoding procedureand obtained from the bitstream. For example, the entropy decoder 310decodes the information in the bitstream based on a coding method suchas exponential Golomb coding, CAVLC, or CABAC, and output syntaxelements required for image reconstruction and quantized values oftransform coefficients for residual. More specifically, the CABACentropy decoding method may receive a bin corresponding to each syntaxelement in the bitstream, determine a context model using a decodingtarget syntax element information, decoding information of a decodingtarget block or information of a symbol/bin decoded in a previous stage,and perform an arithmetic decoding on the bin by predicting aprobability of occurrence of a bin according to the determined contextmodel, and generate a symbol corresponding to the value of each syntaxelement. In this case, the CABAC entropy decoding method may update thecontext model by using the information of the decoded symbol/bin for acontext model of a next symbol/bin after determining the context model.The information related to the prediction among the information decodedby the entropy decoder 310 may be provided to the predictor (the interpredictor 332 and the intra predictor 331), and the residual value onwhich the entropy decoding was performed in the entropy decoder 310,that is, the quantized transform coefficients and related parameterinformation, may be input to the residual processor 320. The residualprocessor 320 may derive the residual signal (the residual block, theresidual samples, the residual sample array). In addition, informationon filtering among information decoded by the entropy decoder 310 may beprovided to the filter 350. Meanwhile, a receiver (not shown) forreceiving a signal output from the encoding apparatus may be furtherconfigured as an internal/external element of the decoding apparatus300, or the receiver may be a component of the entropy decoder 310.Meanwhile, the decoding apparatus according to the present disclosuremay be referred to as a video/image/picture decoding apparatus, and thedecoding apparatus may be classified into an information decoder(video/image/picture information decoder) and a sample decoder(video/image/picture sample decoder). The information decoder mayinclude the entropy decoder 310, and the sample decoder may include atleast one of the dequantizer 321, the inverse transformer 322, the adder340, the filter 350, the memory 360, the inter predictor 332, and theintra predictor 331.

The dequantizer 321 may dequantize the quantized transform coefficientsand output the transform coefficients. The dequantizer 321 may rearrangethe quantized transform coefficients in the form of a two-dimensionalblock form. In this case, the rearrangement may be performed based onthe coefficient scanning order performed in the encoding apparatus. Thedequantizer 321 may perform dequantization on the quantized transformcoefficients by using a quantization parameter (ex. quantization stepsize information) and obtain transform coefficients.

The inverse transformer 322 inversely transforms the transformcoefficients to obtain a residual signal (residual block, residualsample array).

The predictor may perform prediction on the current block and generate apredicted block including prediction samples for the current block. Thepredictor may determine whether intra prediction or inter prediction isapplied to the current block based on the information on the predictionoutput from the entropy decoder 310 and may determine a specificintra/inter prediction mode.

The predictor 320 may generate a prediction signal based on variousprediction methods described below. For example, the predictor may notonly apply intra prediction or inter prediction to predict one block butalso simultaneously apply intra prediction and inter prediction. Thismay be called combined inter and intra prediction (CIIP). In addition,the predictor may be based on an intra block copy (IBC) prediction modeor a palette mode for prediction of a block. The IBC prediction mode orpalette mode may be used for content image/video coding of a game or thelike, for example, screen content coding (SCC). The IBC basicallyperforms prediction in the current picture but may be performedsimilarly to inter prediction in that a reference block is derived inthe current picture. That is, the IBC may use at least one of the interprediction techniques described in the present disclosure. The palettemode may be considered as an example of intra coding or intraprediction. When the palette mode is applied, a sample value within apicture may be signaled based on information on the palette table andthe palette index.

The intra predictor 331 may predict the current block by referring tothe samples in the current picture. The referred samples may be locatedin the neighborhood of the current block or may be located apartaccording to the prediction mode. In the intra prediction, predictionmodes may include a plurality of non-directional modes and a pluralityof directional modes. The intra predictor 331 may determine theprediction mode applied to the current block by using a prediction modeapplied to a neighboring block.

The inter predictor 332 may derive a predicted block for the currentblock based on a reference block (reference sample array) specified by amotion vector on a reference picture. In this case, in order to reducethe amount of motion information transmitted in the inter predictionmode, motion information may be predicted in units of blocks,sub-blocks, or samples based on correlation of motion informationbetween the neighboring block and the current block. The motioninformation may include a motion vector and a reference picture index.The motion information may further include inter prediction direction(L0 prediction, L1 prediction, Bi prediction, etc.) information. In thecase of inter prediction, the neighboring block may include a spatialneighboring block present in the current picture and a temporalneighboring block present in the reference picture. For example, theinter predictor 332 may configure a motion information candidate listbased on neighboring blocks and derive a motion vector of the currentblock and/or a reference picture index based on the received candidateselection information. Inter prediction may be performed based onvarious prediction modes, and the information on the prediction mayinclude information indicating a mode of inter prediction for thecurrent block.

The adder 340 may generate a reconstructed signal (reconstructedpicture, reconstructed block, reconstructed sample array) by adding theobtained residual signal to the prediction signal (predicted block,predicted sample array) output from the predictor (including the interpredictor 332 and/or the intra predictor 331). If there is no residualfor the block to be processed, such as when the skip mode is applied,the predicted block may be used as the reconstructed block.

The adder 340 may be called reconstructor or a reconstructed blockgenerator. The generated reconstructed signal may be used for intraprediction of a next block to be processed in the current picture, maybe output through filtering as described below, or may be used for interprediction of a next picture.

Meanwhile, luma mapping with chroma scaling (LMCS) may be applied in thepicture decoding process.

The filter 350 may improve subjective/objective image quality byapplying filtering to the reconstructed signal. For example, the filter350 may generate a modified reconstructed picture by applying variousfiltering methods to the reconstructed picture and store the modifiedreconstructed picture in the memory 360, specifically, a DPB of thememory 360. The various filtering methods may include, for example,deblocking filtering, a sample adaptive offset, an adaptive loop filter,a bilateral filter, and the like.

The (modified) reconstructed picture stored in the DPB of the memory 360may be used as a reference picture in the inter predictor 332. Thememory 360 may store the motion information of the block from which themotion information in the current picture is derived (or decoded) and/orthe motion information of the blocks in the picture that have alreadybeen reconstructed. The stored motion information may be transmitted tothe inter predictor 260 so as to be utilized as the motion informationof the spatial neighboring block or the motion information of thetemporal neighboring block. The memory 360 may store reconstructedsamples of reconstructed blocks in the current picture and transfer thereconstructed samples to the intra predictor 331.

In the present disclosure, the embodiments described in the filter 260,the inter predictor 221, and the intra predictor 222 of the encodingapparatus 200 may be the same as or respectively applied to correspondto the filter 350, the inter predictor 332, and the intra predictor 331of the decoding apparatus 300. The same may also apply to the unit 332and the intra predictor 331.

In the present disclosure, at least one of quantization/inversequantization and/or transform/inverse transform may be omitted. When thequantization/inverse quantization is omitted, the quantized transformcoefficients may be called transform coefficients. When thetransform/inverse transform is omitted, the transform coefficients maybe called coefficients or residual coefficients, or may still be calledtransform coefficients for uniformity of expression.

In the present disclosure, a quantized transform coefficient and atransform coefficient may be referred to as a transform coefficient anda scaled transform coefficient, respectively. In this case, the residualinformation may include information on transform coefficient(s), and theinformation on the transform coefficient(s) may be signaled throughresidual coding syntax. Transform coefficients may be derived based onthe residual information (or the information on the transformcoefficient(s)), and scaled transform coefficients may be derived byinverse transforming (scaling) on the transform coefficients. Residualsamples may be derived based on the inverse transforming (transforming)on the scaled transform coefficients. This may be applied/expressed inother parts of the present disclosure as well.

As described above, the encoding apparatus may perform various encodingmethods such as exponential Golomb, context-adaptive variable lengthcoding (CAVLC), and context-adaptive binary arithmetic coding (CABAC).In addition, the decoding apparatus may decode information in abitstream based on a coding method such as exponential Golomb coding,CAVLC or CABAC, and output a value of a syntax element required forimage reconstruction and quantized values of transform coefficientsrelated to residuals.

For example, the coding methods described above may be performed asdescribed below.

FIG. 4 exemplarily shows context-adaptive binary arithmetic coding(CABAC) for encoding a syntax element. For example, in the CABACencoding process, when an input signal is a syntax element, rather thana binary value, the encoding apparatus may convert the input signal intoa binary value by binarizing the value of the input signal. In addition,when the input signal is already a binary value (i.e., when the value ofthe input signal is a binary value), binarization may not be performedand may be bypassed. Here, each binary number 0 or 1 constituting abinary value may be referred to as a bin. For example, if a binarystring after binarization is 110, each of 1, 1, and 0 is called one bin.The bin(s) for one syntax element may indicate a value of the syntaxelement.

Thereafter, the binarized bins of the syntax element may be input to aregular coding engine or a bypass coding engine. The regular codingengine of the encoding apparatus may allocate a context model reflectinga probability value to the corresponding bin, and may encode thecorresponding bin based on the allocated context model. The regularcoding engine of the encoding apparatus may update a context model foreach bin after performing encoding on each bin. A bin encoded asdescribed above may be referred to as a context-coded bin.

Meanwhile, when the binarized bins of the syntax element are input tothe bypass coding engine, they may be coded as follows. For example, thebypass coding engine of the encoding apparatus omits a procedure ofestimating a probability with respect to an input bin and a procedure ofupdating a probability model applied to the bin after encoding. Whenbypass encoding is applied, the encoding apparatus may encode the inputbin by applying a uniform probability distribution instead of allocatinga context model, thereby improving an encoding rate. The bin encoded asdescribed above may be referred to as a bypass bin.

Entropy decoding may represent a process of performing the same processas the entropy encoding described above in reverse order.

For example, when a syntax element is decoded based on a context model,the decoding apparatus may receive a bin corresponding to the syntaxelement through a bitstream, determine a context model using the syntaxelement and decoding information of a decoding target block or aneighbor block or information of a symbol/bin decoded in a previousstage, predict an occurrence probability of the received bin accordingto the determined context model, and perform an arithmetic decoding onthe bin to derive a value of the syntax element. Thereafter, a contextmodel of a bin which is decoded next may be updated with the determinedcontext model.

Also, for example, when a syntax element is bypass-decoded, the decodingapparatus may receive a bin corresponding to the syntax element througha bitstream, and decode the input bin by applying a uniform probabilitydistribution. In this case, the procedure of the decoding apparatus forderiving the context model of the syntax element and the procedure ofupdating the context model applied to the bin after decoding may beomitted.

As described above, residual samples may be derived as quantizedtransform coefficients through transform and quantization processes. Thequantized transform coefficients may also be referred to as transformcoefficients. In this case, the transform coefficients in a block may besignaled in the form of residual information. The residual informationmay include a residual coding syntax. That is, the encoding apparatusmay configure a residual coding syntax with residual information, encodethe same, and output it in the form of a bitstream, and the decodingapparatus may decode the residual coding syntax from the bitstream andderive residual (quantized) transform coefficients. The residual codingsyntax may include syntax elements representing whether transform wasapplied to the corresponding block, a location of a last effectivetransform coefficient in the block, whether an effective transformcoefficient exists in the subblock, a size/sign of the effectivetransform coefficient, and the like, as will be described later.

For example, syntax elements related to residual data encoding/decodingmay be represented as shown in the following table.

TABLE 1 transform unit( x0, y0, tbWidth, tbHeight, treeType, subTuIndex,chType ) { Descriptor  if( IntraSubPartitionsSplitType != ISP_NO_SPLIT&&    treeType = = SINGLE_TREE && subTuIndex = = NumIntraSubPartiti ons− 1 ) {   xC = CbPosX[ chType ][ x0 ][ y0 ]   yC = CbPosY[ chType ][ x0][ y0 ]   wC = CbWidth[ chType ][ x0 ][ y0 ] / SubWidthC   hC =CbHeight[ chType ][ x0 ][ y0 ] / SubHeightC  } else {   xC = x0   yC =y0   wC = tbWidth / SubWidthC   hC = tbHeight / SubHeightC  } chromaAvailable = treeType != DUAL_TREE_LUMA && sps_chroma_form at_idc!= 0 &&   ( IntraSubPartitionsSplitType = = ISP_NO_SPLIT ||   (IntraSubPartitionsSplitType != ISP_NO_SPLIT &&   subTuIndex = =NumIntraSubPartitions − 1 ) )  if( ( treeType = = SINGLE_TREE ||treeType = = DUAL_TREE_CHROM A ) &&    sps_chroma_format_idc != 0 &&   ( ( IntraSubPartitionsSplitType = = ISP_NO_SPLIT && !(cu_sbt_flag &&   ( ( subTuIndex = = 0 && cu_sbt_pos_flag ) ||    ( subTuIndex = = 1 &&!cu_sbt_pos_flag ) ) ) ) ||    ( IntraSubPartitionsSplitType !=ISP_NO_SPLIT &&    ( subTuIndex = = NumIntraSubPartitions − 1 ) ) ) ) {  tu_cb_coded_flag[ xC ][ yC ] ae(v)   tu_cr_coded_flag[ xC ][ yC ]ae(v)  }  if( treeType = = SINGLE_TREE || treeType = = DUAL_TREE_LUMA ){   if( (IntraSubPartitionsSplitType == ISP_NO_SPLIT && !(cu_sbt flag &&     ( ( subTuIndex = = 0 && cu_sbt_pos_flag ) ||     ( subTuIndex = =1 && !cu_sbt_pos_flag ) ) ) &&     ( ( CuPredMode[ chType ][ x0 ][ y0 ]= = MODE_INTRA &&     !cu_act_enabled_flag[ x0 ][ y0 ] ) ||     (chromaAvailable && (tu_cb_coded_flag[ xC ][ yC ] ||    tu_cr_coded_flag[ xC ][ yC ] ) ) ||     CbWidth[ chType ][ x0 ][ y0] > MaxTbSizeY ||     CbHeight[ chType ][ x0 ][ y0 ] > MaxTbSizeY ) ) ||    ( IntraSubPartitionsSplitType != ISP_NO_SPLIT &&     ( subTuIndex <NumIntraSubPartitions − || !InferTuCbfLuma ) ) )    tu_y_coded_flag[ x0][ y0 ] ae(v)   if(IntraSubPartitionsSplitType != ISP_NO_SPLIT )   InferTuCbfLuma = InferTuCbfLuma && !tu_y_coded_flag[ x0 ][ y0 ]  } if( ( CbWidth[ chType ][ x0 ][ y0 ] > 64 || CbHeight[ chType ][ x0 ][ y0 ] > 64 ||    tu_y_coded_flag[ x0 ][ y0 ] || ( chromaAvailable && (tu_cb_coded_flag [ xC ][ yC ] ||    tu_cr_coded_flag[ xC ][ yC ] ) ) &&treeType != DUAL_TREE_CHRO MA &&    pps_cu_qp_delta_enabled_flag &&!IsCuQpDeltaCoded ) {   cu_qp_delta_abs ae(v)   if( cu_qp_delta_abs )   cu_qp_delta_sign_flag ae(v)  }  if( ( CbWidth[ chType ][ x0 ][ y0 ] >64 || CbHeight[ chType ][ x0 ][ y 0 ] > 64 ||    ( chromaAvailable && (tu_cb_coded_flag[ xC ][ yC ]    tu_cr_coded_flag[ xC ][ yC ] ) ) ) &&   treeType != DUAL_TREE_LUMA && sh_cu_chroma_qp_offset_enable d_flag &&   !IsCuChromaOpOffsetCoded ) {   cu_chroma_qp_offset_flag ae(v)   if(cu_chroma_qp_offset_flag && pps_chroma_qp_offset_list_len_minus1 > 0 )   cu_chroma_qp_offset_idx ae(v)  }  if( sps_joint_cbcr_enabled_flag &&( ( CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTRA    && (tu_cb_coded_flag[ xC ][ yC ] || tu_cr_coded_flag[ xC ][ yC ] ) ) ||    (tu_cb_coded_flag[ xC ][ yC ] && tu_cr_coded_flag[ xC ][ yC ] ) ) &&   chromaAvailable )   tu_joint_cbcr_residual_flag[ xC ][ yC ] ae(v) if( tu_y_coded_flag[ x0 ][ y0 ] && treeType != DUAL_TREE_CHROMA ) {  if( sps_transform_skip_enabled_flag && !BdpcmFlag[ x0 ][ y0 ][ 0 ] &&    tbWidth <= MaxTsSize && tbHeight <= MaxTsSize &&     (IntraSubPartitionsSplitType = = ISP_NO_SPLIT ) && !cu_sbt_flag )   transform_skip_flag[ x0 ][ y0 ][ 0 ] ae(v)   if(!transform_skip_flag[ x0 ][ y0 ][ 0 ] ||sh_ts_residual_coding_disabled_fla g )    residual_coding( x0, y0, Log2(tbWidth), Log2( tbHeight), 0 )   else    residual_ts_coding( x0, y0,Log2( tbWidth), Log2( tbHeight ), 0 )  }  if( tu_cb_coded_flag[ xC ][ yC] && treeType != DUAL_TREE_LUMA ) {   if(sps_transform_skip_enabled_flag && !BdpcmFlag[ x0 ][ y0 ][ 1 ] &&     wC<= MaxTsSize && hC <= MaxTsSize && !cu_sbt_flag )   transform_skip_flag[ xC ][ yC ][ 1 ] ae(v)   if(!transform_skip_flag[ xC ][ yC ][ 1 ] ||sh_ts_residual_coding_disabled_fl ag )    residual_coding( xC, yC, Log2(wC ), Log2( hC ), 1 )   else    residual_ts_coding( xC, yC, Log2( wC ),Log2( hC ), 1 )  }  if( tu_cr_coded_flag[ xC ][ yC ] && treeType !=DUAL_TREE_LUMA &&    !( tu_cb_coded_flag[ xC ][ yC ] &&tu_joint_cbcr_residual_flag[ xC ][ y C ] ) ) {   if(sps_transform_skip_enabled_flag && !BdpcmFlag[ x0 ][ y0 ][ 2 ] &&     wC<= MaxTsSize && hC <= MaxTsSize && !cu_sbt_flag )   transform_skip_flag[ xC ][ yC ][ 2 ] ae(v)   if(!transform_skip_flag[ xC ][ yC ][ 2 ] ||sh_ts_residual_coding_disabled_fl ag )    residual_coding( xC, yC, Log2(wC ), Log2( hC ), 2 )   else    residual_ts_coding( xC, yC, Log2( wC ),Log2( hC ), 2 )  } }

transform_skip_flag indicates whether transform is skipped in anassociated block. The transform_skip_flag may be a syntax element of atransform_skip_flag. The associated block may be a coding block (CB) ora transform block (TB). Regarding transform (and quantization) andresidual coding procedures, CB and TB may be used interchangeably. Forexample, as described above, residual samples may be derived for CB, and(quantized) transform coefficients may be derived through transform andquantization for the residual samples, and through the residual codingprocedure, information (e.g., syntax elements) efficiently indicating aposition, magnitude, sign, etc. of the (quantized) transformcoefficients may be generated and signaled. The quantized transformcoefficients may simply be called transform coefficients. In general,when the CB is not larger than a maximum TB, a size of the CB may be thesame as a size of the TB, and in this case, a target block to betransformed (and quantized) and residual coded may be called a CB or aTB. Meanwhile, when the CB is greater than the maximum TB, a targetblock to be transformed (and quantized) and residual coded may be calleda TB. Hereinafter, it will be described that syntax elements related toresidual coding are signaled in units of transform blocks (TBs) but thisis an example and the TB may be used interchangeably with coding blocks(CBs as described above.

Meanwhile, syntax elements which are signaled after thetransform_skip_flag is signaled may be the same as the syntax elementsdisclosed in Table 2 and/or Table 3 below, and detailed descriptions onthe syntax elements are described below.

TABLE 2 residual coding( x0, y0, log2TbWidth, log2TbHeight, cIdx ) {Descriptor  if( sps_mts_enabled_flag && cu_sbt_flag && cIdx = = 0 &&   log2TbWidth = = 5 && log2TbHeight < 6 )   log2ZoTbWidth = 4  else  log2ZoTbWidth = Min( log2TbWidth, 5 )  if( sps_mts_enabled_flag &&cu_sbt_flag && cIdx = = 0 &&    log2TbWidth < 6 && log2TbHeight = = 5 )  log2ZoTbHeight = 4  else   log2ZoTbHeight = Min( log2TbHeight, 5 ) if( log2TbWidth > 0 )   last_sig_coeff_x_prefix ae(v)  if(log2TbHeight > 0 )   last_sig_coeff_y_prefix ae(v)  if(last_sig_coeff_x_prefix > 3 )   last_sig_coeff_x_suffix ae(v)  if(last_sig_coeff_y_prefix > 3 )   last_sig_coeff_y_suffix ae(v) log2TbWidth = log2ZoTbWidth  log2TbHeight = log2ZoTbHeight remBinsPass1 = ( ( 1 << ( log2TbWidth + log2TbHeight ) ) * 7 ) >> 2 log2SbW = ( Min( log2TbWidth, log2TbHeight ) < 2 ? 1 : 2 )  log2SbH =log2SbW  if( log2TbWidth + log2TbHeight > 3 )   if( log2TbWidth < 2 ) {   log2SbW = log2TbWidth    log2SbH = 4 − log2SbW   } else if(log2TbHeight < 2 ) {    log2SbH = log2TbHeight    log2SbW = 4 − log2SbH  }  numSbCoeff = 1 << ( log2SbW + log2SbH )  lastScanPos = numSbCoeff lastSubBlock = ( 1 << ( log2TbWidth + log2TbHeight − ( log2SbW + log2SbH ) ) ) − 1  do {   if( lastScanPos = = 0 ) {    lastScanPos =numSbCoeff    lastSubBlock− −   }   lastScanPos− −   xS = DiagScanOrder[log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]         [ lastSubBlock][ 0 ]   yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight −log2SbH ]         [ lastSubBlock ][ 1 ]   xC = ( xS << log2SbW ) +DiagScanOrder[ log2SbW ][ log2SbH ][ lastScan Pos ][ 0 ]   yC = ( yS <<log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ lastScan Pos ][ 1 ]  }while( ( xC != LastSignificantCoeffX ) || ( yC != LastSignificantCoeffY) )  if( lastSubBlock = = 0 && log2TbWidth >= 2 && log2TbHeight >= 2 & &   transform_skip_flag[ x0 ][ y0 ][ cIdx ] && lastScanPos > 0 )  LfnstDcOnly = 0  if( ( lastSubBlock > 0 && log2TbWidth >= 2 &&log2TbHeight >= 2 ) ||    ( lastScanPos > 7 && ( log2TbWidth = = 2 ||log2TbWidth = = 3 ) & &    log2TbWidth = = log2TbHeight ) )  LfnstZeroOutSigCoeffFlag = 0  if( ( lastSubBlock > 0 || lastScanPos >0 ) && cIdx = = 0 )   MtsDcOnly = 0  QState = 0  for( i = lastSubBlock;i >= 0; i− − ) {   startQStateSb = QState   xS = DiagScanOrder[log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]         [ i ][ 0 ]  yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]        [ i ][ 1 ]   inferSbDcSigCoeffFlag = 0   if( i < lastSubBlock &&i > 0 ) {    sb_coded_flag[ xS ][ yS ] ae(v)    inferSbDcSigCoeffFlag =1   }   if( sb_coded_flag[ xS ][ yS ] && ( xS > 3 || yS > 3 ) && cIdx == 0 )    MtsZeroOutSigCoeffFlag = 0   firstSigScanPosSb = numSbCoeff  lastSigScanPosSb = −1   firstPosMode0 = ( i = = lastSubBlock ?lastScanPos : numSbCoeff − 1 )   firstPosMode1 = firstPosMode0   for( n= firstPosMode0; n >= 0 && remBinsPass1 >= 4; n− − ){    xC = ( xS <<log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS<< log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if(sb_coded_flag[ xS ][ yS ] && ( n > 0 || !inferSbDcSigCoeffFlag ) & &     ( xC != LastSignificantCoeffX || yC != LastSignificantCoeffY ) ) {    sig_coeff_flag[ xC ][ yC ] ae(v)     remBinsPass1− −     if(sig_coeff_flag[ xC ][ yC ] )      inferSbDcSigCoeffFlag = 0    }    if(sig_coeff_flag[ xC ][ yC ] ) {     abs_level_gtx_flag[ n ][ 0 ] ae(v)    remBinsPass1− −     if( abs_level_gtx_flag[ n ][ 0 ] ) {     par_level_flag[ n ] ae(v)      remBinsPass1− −     abs_level_gtx_flag[ n ][ 1 ] ae(v)      remBinsPass1− −     }    if( lastSigScanPosSb = = −1 )      lastSigScanPosSb = n    firstSigScanPosSb = n    }    AbsLevelPass1[ xC ][ yC ] =sig_coeff_flag[ xC ][ yC ] + par_level_flag [ n ] +          abs_level_gtx_flag[ n ][ 0 ] + 2 * abs_level_gtx_flag[ n ] [ 1]    if( sh_dep_quant_used_flag )     QState = QStateTransTable[ QState][ AbsLevelPass1[ xC ][ yC ] & 1 ]    firstPosMode1 = n − 1   }   for( n= firstPosMode0; n > firstPosMode1; n− − ) {    xC = ( xS << log2SbW ) +DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if(abs_level_gtx_flag[ n ][ 1 ] )     abs_remainder[ n ] ae(v)    AbsLevel[xC ][ yC ] = AbsLevelPass1[ xC ][ yC ] +2 * abs remainder[ n ]   }  for( n = firstPosMode1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) +DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( sb_coded_flag[xS ][ yS ] )     dec_abs_level[ n ] ae(v)    if( AbsLevel[ xC ][ yC ] >0 ) {     if( lastSigScanPosSb = = −1 )      lastSigScanPosSb = n    firstSigScanPosSb = n    }    if( sh_dep_quant_used_flag )    QState = QStateTransTable[ QState ][ AbsLevel[ xC ][ yC ][ & 1 ]   }  if( sh_dep_quant_used_flag || !sh_sign_data_hiding_used_flag )   signHidden = 0   else    signHidden = ( lastSigScanPosSb −firstSigScanPosSb > 3 ? 1 : 0 )   for( n = numSbCoeff − 1; n >= 0; n− −) {    xC = ( xS << log2SbW) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ][ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n] [ 1 ]    if( ( AbsLevel[ xC ][ yC ] > 0 ) &&     ( !signHidden || ( n!= firstSigScanPosSb ) ) )     coeff_sign_flag[ n ] ae(v)   }   if(sh_dep_quant_used_flag ) {    QState = startQStateSb     for( n =numSbCoeff − 1; n >= 0; n− − )      xC = ( xS << log2SbW ) +DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]      yC = ( yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]      if( AbsLevel[ xC][ yC ] > 0 )       TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =        ( 2 * AbsLevel[ xC ][ yC ] − ( QState > 1 ? 1 : 0 ) ) *        ( 1 − 2 * coeff_sign_flag[ n ] )      QState = QStateTransTable[QState ][ AbsLevel[ xC ][ yC ] & 1 ]   } else {    sumAbsLevel = 0   for( n = numSbCoeff − 1; n >= 0; n− − )     xC = ( xS << log2SbW ) +DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]     yC = ( yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]      if( AbsLevel[ xC][ yC ] > 0 ) {       TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =        AbsLevel[ xC ][ yC ] * ( 1 − 2 * coeff_sign_flag[ n ] )      if( signHidden ) {        sumAbsLevel += AbsLevel[ xC ][ yC ]       if( ( n = = firstSigScanPosSb ) && ( sumAbsLevel % 2 ) = = 1 ) )        TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =          −TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ]      }     }   }   }  } }

TABLE 3 residual ts coding( x0, y0, log2TbWidth, log2TbHeight, cIdx ) {Descriptor  log2SbW = ( Min( log2TbWidth, log2TbHeight ) < 2 ? 1 : 2 ) log2SbH = log2SbW  if( log2TbWidth + log2TbHeight > 3 )   if(log2TbWidth < 2 ) {    log2SbW = log2TbWidth    log2SbH = 4 − log2SbW  } else if( log2TbHeight < 2 ) {    log2SbH = log2TbHeight    log2SbW =4 − log2SbH   }  numSbCoeff = 1 << ( log2SbW + log2SbH )  lastSubBlock =( 1 << ( log2TbWidth + log2TbHeight − ( log2SbW + log2Sb H ) ) ) − 1 inferSbCbf = 1  RemCcbs = ( ( 1 << ( log2TbWidth + log2TbHeight ) ) * 7) >> 2  for( i =0; i <= lastSubBlock; i++ ) {   xS = DiagScanOrder[log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ] [ i ][ 0 ]   yS =DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ] [ i ][1 ]   if( i != lastSubBlock || !inferSbCbf )    sb_coded_flag[ xS ][ yS] ae(v)   if( sb coded flag[ xS ][ yS ] && i < lastSubBlock )   inferSbCbf = 0  /* First scan pass */   inferSbSigCoeffFlag = 1  lastScanPosPass1 = −1   for( n = 0; n <= numSbCoeff − 1 && RemCcbs >=4; n++ ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH][ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][log2SbH ][ n ] [ 1 ]    lastScanPosPass1 = n    if( sb_coded_flag[ xS ][yS ] &&      ( n != numSbCoeff − 1 || !inferSbSigCoeffFlag ) ) {    sig_coeff_flag[ xC ][ yC ] ae(v)     RemCcbs− −     if(sig_coeff_flag[ xC ][ yC ] )      inferSbSigCoeffFlag = 0    }   CoeffSignLevel[ xC ][ yC ] = 0    if( sig coeff flag[ xC ][ yC ] ) {    coeff_sign_flag[ n ] ae(v)     RemCcbs− −     CoeffSignLevel[ xC ][yC ] = ( coeff sign flag[ n ] > 0 ? −1 : 1 )     abs_level_gtx_flag[ n][ 0 ] ae(v)     RemCcbs− −     if( abs level gtx flag[ n ][ 0 ] ) {     par level flag[ n ] ae(v)      RemCcbs− −     }    }   AbsLevelPass1[ xC ][ yC ] =      sig_coeff_flag[ xC ][ yC ] +par_level_flag[ n ] + abs_level_gtx_flag [ n ][ 0 ]   }  /* Greater thanX scan pass ( numGtXFlags=5) */   lastScanPosPass2 = −1   for( n = 0; n<= numSbCoeff − 1 && RemCcbs >= 4; n++ ) {    xC = ( xS << log2SbW ) +DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    AbsLevelPass2[ xC]][ yC ] = AbsLevelPass1[ xC ][ yC ]    for( j = 1; < 5; j++ ) {     if(abs level gtx flag[ n ][ j − 1 ] ) {      abs level gtx flag[ n ][ j ]ae(v)      RemCcbs− −     }     AbsLevelPass2[ xC ][ yC ] += 2 * abslevel gtx flag[ n ][ j ]    }    lastScanPosPass2 = n   }  /* remainderscan pass */   for( n = 0; n <= numSbCoeff − 1; n++ ) {    xC = ( xS <<log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS<< log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( ( n<= lastScanPosPass2 && AbsLevelPass2[ xC ][ yC ] >= 10 ) ||      ( n >lastScanPosPass2 && n <= lastScanPosPass1 &&      AbsLevelPass1[ xC ][yC ] >= 2 )      ( n > lastScanPosPass1 && sb coded flag[ xS ][ yS ] ) )    abs remainder[ n ] ae(v)    if( n <= lastScanPosPass2 )    AbsLevel[ xC ][ yC ] = AbsLevelPass2[ xC ][ yC ] + 2 * abs_remainder[ n ]    else if( n <= lastScanPosPass1 )     AbsLevel[ xC ][ yC ] =AbsLevelPass1[ xC ][ yC ] + 2 * abs_remainder [ n ]    else { /* bypass*/     AbsLevel [xC ][ yC ] = abs remainder[ n ]     if( abs remainder[n ] )      coeff_sign_flag[ n ] ae(v)    }    if( BdpcmFlag[ x0 ][ y0 ][cIdx ] = = 0 && n <= lastScanPosPass1 ) {     absLeftCoeff = xC > 0 ?AbsLevel[ xC − 1 ][ yC ] ) : 0     absAboveCoeff = yC > 0 ? AbsLevel[ xC][ yC − 1 ] ) : 0     predCoeff = Max( absLeftCoeff, absAboveCoeff )    if( AbsLevel[ xC ][ yC ] = = 1 && predCoeff > 0 )      AbsLevel[ xC][ yC ] = predCoeff     else if( AbsLevel[ xC ][ yC ] > 0 && AbsLevel[xC ][ yC ] <= predCo eff )      AbsLevel[ xC ][ yC ]− −    }   TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] = ( 1 − 2 *coeff_sign_flag [ n ] ) *      AbsLevel[ xC ][ yC ]   }  } }

According to the present embodiment, as shown in Table 1, residualcoding may be divided according to a value of the syntax elementtransform_skip_flag of the transform skip flag. That is, a differentsyntax element may be used for residual coding based on the value of thetransform_skip_flag (based on whether the transform is skipped).Residual coding used when the transform skip is not applied (that is,when the transform is applied) may be called regular residual coding(RRC), and residual coding used when the transform skip is applied (thatis, when the transform is not applied) may be called transform skipresidual coding (TSRC). Also, the regular residual coding may bereferred to as general residual coding. Also, the regular residualcoding may be referred to as a regular residual coding syntax structure,and the transform skip residual coding may be referred to as a transformskip residual coding syntax structure. Table 2 above may show a syntaxelement of residual coding when a value of transform_skip_flag is 0,that is, when the transform is applied, and Table 3 above may show asyntax element of residual coding when the value of transform_skip_flagis 1, that is, when the transform is not applied.

Specifically, for example, the transform_skip_flag indicating whether toskip the transform of the transform block may be parsed, and whether thetransform_skip_flag is 1 may be determined. If the value of thetransform_skip_flag is 0, as shown in Table 2, syntax elementslast_sig_coeff_x_prefix, last_sig_coeff_y_prefix,last_sig_coeff_x_suffix, last_sig_coeff_y_suffix, sb_coded_flag,sig_coeff_flag, abs_level_gtx_flag, par_level_flag, abs_remainder,coeff_sign_flag and/or dec_abs_level for a residual coefficient of thetransform block may be parsed, and the residual coefficient may bederived based on the syntax elements. In this case, the syntax elementsmay be sequentially parsed, and a parsing order may be changed. Inaddition, the abs_level_gtx_flag may represent abs_level_gt1_flag,and/or abs_level_gt3_flag. For example, abs_level_gtx_flag[n][0] may bean example of a first transform coefficient level flag(abs_level_gt1_flag), and the abs_level_gtx_flag[n][1] may be an exampleof a second transform coefficient level flag (abs_level_gt3_flag).

Referring to the Table 2 above, last_sig_coeff_x_prefix,last_sig_coeff_y_prefix, last_sig_coeff_x_suffix,last_sig_coeff_y_suffix, sb_coded_flag, sig_coeff_flag,abs_level_gt1_flag, par_level_flag, abs_level_gt3_flag, abs_remainder,coeff_sign_flag, and/or dec_abs_level may be encoded/decoded. Meanwhile,sb_coded_flag may be represented as coded_sub_block_flag.

In an embodiment, the encoding apparatus may encode (x, y) positioninformation of the last non-zero transform coefficient in a transformblock based on the syntax elements last_sig_coeff_x_prefix,last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, andlast_sig_coeff_y_suffix. More specifically, the last_sig_coeff_x_prefixrepresents a prefix of a column position of a last significantcoefficient in a scanning order within the transform block, thelast_sig_coeff_y_prefix represents a prefix of a row position of thelast significant coefficient in the scanning order within the transformblock, the last_sig_coeff_x_suffix represents a suffix of a columnposition of the last significant coefficient in the scanning orderwithin the transform block, and the last_sig_coeff_y_suffix represents asuffix of a row position of the last significant coefficient in thescanning order within the transform block. Here, the significantcoefficient may represent a non-zero coefficient. In addition, thescanning order may be a right diagonal scanning order. Alternatively,the scanning order may be a horizontal scanning order or a verticalscanning order. The scanning order may be determined based on whetherintra/inter prediction is applied to a target block (a CB or a CBincluding a TB) and/or a specific intra/inter prediction mode.

Thereafter, the encoding apparatus may divide the transform block into4×4 sub-blocks, and then indicate whether there is a non-zerocoefficient in the current sub-block using a 1-bit syntax elementcoded_sub_block_flag for each 4×4 sub-block.

If a value of coded_sub_block_flag is 0, there is no more information tobe transmitted, and thus, the encoding apparatus may terminate theencoding process on the current sub-block. Conversely, if the value ofcoded_sub_block_flag is 1, the encoding apparatus may continuouslyperform the encoding process on sig_coeff_flag. Since the sub-blockincluding the last non-zero coefficient does not require encoding forthe coded_sub_block_flag and the sub-block including the DC informationof the transform block has a high probability of including the non-zerocoefficient, coded_sub_block_flag may not be coded and a value thereofmay be assumed as 1.

If the value of coded_sub_block_flag is 1 and thus it is determined thata non-zero coefficient exists in the current sub-block, the encodingapparatus may encode sig_coeff_flag having a binary value according to areverse scanning order. The encoding apparatus may encode the 1-bitsyntax element sig_coeff_flag for each transform coefficient accordingto the scanning order. If the value of the transform coefficient at thecurrent scan position is not 0, the value of sig_coeff_flag may be 1.Here, in the case of a subblock including the last non-zero coefficient,sig_coeff_flag does not need to be encoded for the last non-zerocoefficient, so the coding process for the sub-block may be omitted.Level information coding may be performed only when sig_coeff_flag is 1,and four syntax elements may be used in the level information encodingprocess. More specifically, each sig_coeff_flag[xC][yC] may indicatewhether a level (value) of a corresponding transform coefficient at eachtransform coefficient position (xC, yC) in the current TB is non-zero.In an embodiment, the sig_coeff_flag may correspond to an example of asyntax element of a significant coefficient flag indicating whether aquantized transform coefficient is a non-zero significant coefficient.

A level value remaining after encoding for sig_coeff_flag may be derivedas shown in the following equation. That is, the syntax elementremAbsLevel indicating a level value to be encoded may be derived fromthe following equation.

remAbsLevel=|coeff|−1  [Equation 1]

Herein, coeff means an actual transform coefficient value.

Additionally, abs_level_gt1_flag may indicate whether or notremAbsLevel′ of the corresponding scanning position (n) is greaterthan 1. For example, when the value of abs_level_gt1_flag is 0, theabsolute value of the transform coefficient of the correspondingposition may be 1. In addition, when the value of the abs_level_gt1_flagis 1, the remAbsLevel indicating the level value to be encoded later maybe updated as shown in the following equation.

remAbsLevel=remAbsLevel−1  [Equation 2]

In addition, the least significant coefficient (LSB) value ofremAbsLevel described in Equation 2 described above may be encoded as inEquation 3 below through par_level_flag.

par_level_flag=|coeff|& 1  [Equation 3]

Herein, par_level_flag[n] may indicate a parity of a transformcoefficient level (value) at a scanning position n.

A transform coefficient level value remAbsLevel that is to be encodedafter performing par_level_flag encoding may be updated as shown belowin the following equation.

remAbsLevel=remAbsLevel>>1  [Equation 4]

abs_level_gt3_flag may indicate whether or not remAbsLevel′ of thecorresponding scanning position (n) is greater than 3. Encoding forabs_remainder may be performed only in a case where rem_abs_gt3 flag isequal to 1. A relationship between the actual transform coefficientvalue coeff and each syntax element may be as shown below in thefollowing equation.

|coeff|=sig_coeff_flag+abs_level_gt1_flag+par_level_flag+2*(abs_level_gt3_flag+abs_remainder)  [Equation5]

Additionally, the following table indicates examples related to theabove-described Equation 5.

TABLE 4 sig_coeff_ abs_level_gtX_flag[n] abs_level_gtX_flag[n]|coeff[n]| flag[n] [0] par_level_flag[n] [1] abs_remainder[n] 0 0 1 1 02 1 1 0 0 3 1 1 1 0 4 1 1 0 1 0 5 1 1 1 1 0 6 1 1 0 1 1 7 1 1 1 1 1 8 11 0 1 2 9 1 1 1 1 2 10 1 1 0 1 3 11 1 1 1 1 3 . . . . . . . . . . . .

Herein, |coeff| indicates a transform coefficient level (value) and mayalso be indicates as an AbsLevel for a transform coefficient.Additionally, a sign of each coefficient may be encoded by usingcoeff_sign_flag, which is a 1-bit symbol.

Also, if the value of the transform_skip_flag is 1, as shown in Table 3,syntax elements sb_coded_flag, sig_coeff_flag, coeff_sign_flag,abs_level_gtx_flag, par_level_flag and/or abs_remainder for a residualcoefficient of the transform block may be parsed, and the residualcoefficient may be derived based on the syntax elements. In this case,the syntax elements may be sequentially parsed, and a parsing order maybe changed. In addition, the abs_level_gtx_flag may representabs_level_gt1_flag, abs_level_gt3_flag, abs_level_gt5_flag,abs_level_gt7_flag, and/or abs_level_gt9_flag. For example,abs_level_gtx_flag[n][j] may be a flag indicating whether an absolutevalue or a level (a value) of a transform coefficient at a scanningposition n is greater than (j<<1)+1. The condition (j<<1)+1 may beoptionally replaced with a specific threshold such as a first threshold,a second threshold, or the like.

Meanwhile, CABAC provides high performance, but disadvantageously haspoor throughput performance. This is caused by a regular coding engineof the CABAC. Regular encoding (i.e., coding through the regular codingengine of the CABAC) shows high data dependence since it uses aprobability state and range updated through coding of a previous bin,and it may take a lot of time to read a probability interval anddetermine a current state. The throughput problem of the CABAC may besolved by limiting the number of context-coded bins. For example, asshown in Table 2 described above, a sum of bins used to expresssig_coeff_flag, abs_level_gt1_flag, par_level_flag, andabs_level_gt3_flag may be limited to the number of bins depending on asize of a corresponding block. Also, for example, as shown in Table 3described above, a sum of bins used to express sig_coeff_flag,coeff_sign_flag, abs_level_gt1_flag, par_level_flag, abs_level_gt3_flagabs_level_gt5_flag, abs_level_gt7_flag, abs_level_gt9_flag may belimited to the number of bins depending on a size of a correspondingblock. For example, if the corresponding block is a block of a 4×4 size,the sum of bins for the sig_coeff_flag, abs_level_gt1_flag,par_level_flag, abs_level_gt3_flag or sig_coeff_flag, coeff_sign_flag,abs_level_gt1_flag, par_level_flag, abs_level_gt3_flagabs_level_gt5_flag, abs_level_gt7_flag, abs_level_gt9_flag may belimited to 32 (or ex. 28), and if the corresponding block is a block ofa 2×2 size, the sum of bins for the sig_coeff_flag, abs_level_gt1_flag,par_level_flag, abs_level_gt3_flag may be limited to 8 (or ex. 7). Thelimited number of bins may be represented by remBinsPass1 or RemCcbs.Or, for example, for higher CABAC throughput, the number of contextcoded bins may be limited for a block (CB or TB) including a codingtarget CG. In other words, the number of context coded bins may belimited in units of blocks (CB or TB). For example, when the size of thecurrent block is 16×16, the number of context coded bins for the currentblock may be limited to 1.75 times the number of pixels of the currentblock, i.e., 448, regardless of the current CG.

In this case, if all context-coded bins of which the number is limitedare used when a context element is coded, the encoding apparatus maybinarize the remaining coefficients through a method of binarizing thecoefficient as described below, instead of using the context coding, andmay perform bypass encoding. In other words, for example, if the numberof context-coded bins which are coded for 4×4 CG is 32 (or ex. 28), orif the number of context-coded bins which are coded for 2×2 CG is 8 (orex. 7), sig_coeff_flag, abs_level_gt1_flag, par_level_flag,abs_level_gt3_flag which are coded with the context-coded bin may nolonger be coded, and may be coded directly to dec_abs_level. Or, forexample, when the number of context coded bins coded for a 4×4 block is1.75 times the number of pixels of the entire block, that is, whenlimited to 28, the sig_coeff_flag, abs_level_gt1_flag, par_level_flag,and abs_level_gt3_flag coded as context coded bins may not be coded anymore, and may be directly coded as dec_abs_level as shown in Table 5below.

TABLE 5 |coeff[n]| dec_abs_level[n] 0 0 1 1 2 2 3 3 4 4 5 5 6 6 7 7 8 89 9 10 10 11 11 . . . . . .

A value |coeff| may be derived based on dec_abs_level. In this case, atransform coefficient value, i.e., |coeff|, may be derived as shown inthe following equation.

|coeff|=dec_abs_level  [Equation 6]

In addition, the coeff_sign_flag may indicate a sign of a transformcoefficient level at a corresponding scanning position n. That is, thecoeff_sign_flag may indicate the sign of the transform coefficient atthe corresponding scanning position n.

FIG. 5 shows an example of transform coefficients in a 4×4 block.

The 4×4 block of FIG. 5 represents an example of quantized coefficients.The block of FIG. 5 may be a 4×4 transform block, or a 4×4 sub-block ofan 8×8, 16×16, 32×32, or 64×64 transform block. The 4×4 block of FIG. 5may represent a luma block or a chroma block.

Meanwhile, as described above, when an input signal is not a binaryvalue but a syntax element, the encoding apparatus may transform theinput signal into a binary value by binarizing a value of the inputsignal. In addition, the decoding apparatus may decode the syntaxelement to derive a binarized value (e.g., a binarized bin) of thesyntax element, and may de-binarize the binarized value to derive avalue of the syntax element. The binarization process may be performedas a truncated rice (TR) binarization process, a k-th order Exp-Golomb(EGk) binarization process, a limited k-th order Exp-Golomb (limitedEGk), a fixed-length (FL) binarization process, or the like. Inaddition, the de-binarization process may represent a process performedbased on the TR binarization process, the EGk binarization process, orthe FL binarization process to derive the value of the syntax element.

For example, the TR binarization process may be performed as follows.

An input of the TR binarization process may be cMax and cRiceParam for asyntax element and a request for TR binarization. In addition, an outputof the TR binarization process may be TR binarization for symbolValwhich is a value corresponding to a bin string.

Specifically, for example, in the presence of a suffix bin string for asyntax element, a TR bin string for the syntax element may beconcatenation of a prefix bin string and the suffix bin string, and inthe absence of the suffix bin string, the TR bin string for the syntaxelement may be the prefix bin string. For example, the prefix bin stringmay be derived as described below.

A prefix value of the symbolVal for the syntax element may be derived asshown in the following equation.

prefixVal=symbolVal>>cRiceParam  [Equation 7]

Herein, prefixVal may denote a prefix value of the symbolVal. A prefix(i.e., a prefix bin string) of the TR bin string of the syntax elementmay be derived as described below.

For example, if the prefixVal is less than cMax>>cRiceParam, the prefixbin string may be a bit string of length prefixVal+1, indexed by binIdx.That is, if the prefixVal is less than cMax>>cRiceParam, the prefix binstring may be a bit string of which the number of bits is prefixVal+1,indicated by binIdx. A bin for binIdx less than prefixVal may be equalto 1. In addition, a bin for the same binIdx as the prefixVal may beequal to 0.

For example, a bin string derived through unary binarization for theprefixVal may be as shown in the following table.

TABLE 6 prefixVal Bin string 0 0 1 1 0 2 1 1 0 3 1 1 1 0 4 1 1 1 1 0 5 11 1 1 1 0 . . . binIdx 0 1 2 3 4 5

Meanwhile, if the prefixVal is not less than cMax>>cRiceParam, theprefix bin string may be a bit string in which a length iscMax>>cRiceParam and all bits are 1.

In addition, if cMax is greater than symbolVal and if cRiceParam isgreater than 0, a bin suffix bin string of a TR bin string may bepresent. For example, the suffix bin string may be derived as describedbelow.

A suffix value of the symbolVal for the syntax element may be derived asshown in the following equation.

suffixVal=symbolVal−((prefixVal)<<cRiceParam)  [Equation 8]

Herein, suffixVal may denote a suffix value of the symbolVal.

A suffix of a TR bin string (i.e., a suffix bin string) may be derivedbased on an FL binarization process for suffixVal of which a value cMaxis (1<<cRiceParam)−1.

Meanwhile, if a value of an input parameter, i.e., cRiceParam, is 0, theTR binarization may be precisely truncated unary binarization, and mayalways use the same value cMax as a possible maximum value of a syntaxelement to be decoded.

In addition, for example, the EGk binarization process may be performedas follows. A syntax element coded with ue(v) may be a syntax elementsubjected to Exp-Golomb coding.

For example, a 0-th order Exp-Golomb (EGO) binarization process may beperformed as follows.

A parsing process for the syntax element may begin with reading a bitincluding a first non-zero bit starting at a current position of abitstream and counting the number of leading bits equal to 0. Theprocess may be represented as shown in the following table.

TABLE 7   leadingZeroBits = −1 for( b = 0; !b; leadingZeroBits++ )   b =read_bits( 1 )

In addition, a variable ‘codeNum’ may be derived as shown in thefollowing equation.

codeNum=2^(leadingZeroBits)−1+read_bits(leadingZeroBits)  [Equation 9]

Herein, a value returned from read bits(leadingZeroBits), that is, avalue indicated by read_bits(leadingZeroBits), may be interpreted asbinary representation of an unsigned integer for a most significant bitrecorded first.

A structure of an Exp-Golomb code in which a bit string is divided intoa “prefix” bit and a “suffix” bit may be represented as shown in thefollowing table.

TABLE 8 Bit string form Range of codeNum 1 0 0 1 x₀ 1 . . . 2 0 0 1 x₁x₀ 3 . . . 6 0 0 0 1 x₂ x₁ x₀ 7 . . . 14 0 0 0 0 1 x₃ x₂ x₁ x₀ 15 . . .30 0 0 0 0 0 1 x₄ x₃ x₂ x₁ x₀ 31 . . . 62 . . . . . .

The “prefix” bit may be a bit parsed as described above to calculateleadingZeroBits, and may be represented by 0 or 1 of a bit string inTable 8. That is, the bit string disclosed by 0 or 1 in Table 8 abovemay represent a prefix bit string. The “suffix” bit may be a bit parsedin the computation of codeNum, and may be represented by xi in Table 8above. That is, a bit string disclosed as xi in Table 8 above mayrepresent a suffix bit string. Herein, i may be a value in the range ofLeadingZeroBits-1. In addition, each xi may be equal to 0 or 1.

A bit string assigned to the codeNum may be as shown in the followingtable.

TABLE 9 Bit string codeNum 1 0 0 1 0 1 0 1 1 2 0 0 1 0 0 3 0 0 1 0 1 4 00 1 1 0 5 0 0 1 1 1 6 0 0 0 1 0 0 0 7 0 0 0 1 0 0 1 8 0 0 0 1 0 1 0 9 .. . . . .

If a descriptor of the syntax element is ue(v), that is, if the syntaxelement is coded with ue(v), a value of the syntax element may be equalto codeNum.

In addition, for example, the EGk binarization process may be performedas follows.

An input of the EGk binarization process may be a request for EGkbinarization. In addition, the output of the EGk binarization processmay be EGk binarization for symbolVal, i.e., a value corresponding to abin string.

A bit string of the EGk binarization process for symbolVal may bederived as follows.

TABLE 10   absV = Abs( symbolVal ) stopLoop = 0 do   if( absV >= ( 1 <<k ) ) {     put( 1)     absV = absV − ( 1 << k )     k++   } else {    put( 0 )     while( k− − )       put( ( absV >> k ) & 1 )    stopLoop = 1   } while( !stopLoop )

Referring to Table 10 above, a binary value X may be added to an end ofa bin string through each call of put(X). Herein, X may be 0 or 1.

In addition, for example, the limited EGk binarization process may beperformed as follows.

An input of the limited EGk binarization process may be a request forlimited EGk binarization, a rice parameter riceParam, log2TransformRangeas a variable representing a binary logarithm of a maximum value, andmaxPreExtLen as a variable representing a maximum prefix extensionlength. In addition, an output of the limited EGk binarization processmay be limited EGk binarization for symbolVal as a value correspondingto an empty string.

A bit string of the limited EGk binarization process for the symbolValmay be derived as follows.

TABLE 11   codeValue = symbolVal >> riceParam PrefixExtensionLength = 0while( ( PrefixExtensionLength < maxPrefixExtensionLength ) &&     (codeValue > ( ( 2 << PrefixExtensionLength ) − 2 ) ) ) {  PrefixExtensionLength++   put( 1 ) } if( PrefixExtensionLength = =maxPrefixExtensionLength )   escapeLength = log2TransformRange else {  escapeLength = PrefixExtensionLength + riceParam   put( 0 ) }symbolVal = symbolVal − ( ( ( 1 << PrefixExtensionLength ) − 1 ) <<riceParam ) while( ( escapeLength− − ) > 0 )   put( ( symbolVal >>escapeLength ) & 1 )

In addition, for example, the FL binarization process may be performedas follows.

An input of the FL binarization process may be a request for FLbinarization and cMax for the syntax element. In addition, an output ofthe FL binarization process may be FL binarization for symbolVal as avalue corresponding to a bin string.

FL binarization may be configured by using a bit string of which thenumber of bits has a fixed length of symbolVal. Herein, the fixed-lengthbit may be an unsigned integer bit string. That is, a bit string forsymbolVal as a symbol value may be derived through FL binarization, anda bit length (i.e., the number of bits) of the bit string may be a fixedlength.

For example, the fixed length may be derived as shown in the followingequation.

fixedLength=Ceil(Log2(cMax+1))  [Equation 10]

Indexing of bins for FL binarization may be a method using a value whichincreases orderly from a most significant bit to a least significantbit. For example, a bin index related to the most significant bit may bebinIdx=0.

Meanwhile, for example, a binarization process for a syntax elementabs_remainder in the residual information may be performed as follows.

An input of the binarization process for the abs_remainder may be arequest for binarization of a syntax element abs_remainder[n], a colourcomponent cIdx, and a luma position (x0, y0). The luma position (x0, y0)may indicate a top-left sample of a current luma transform block basedon the top-left luma sample of a picture.

An output of the binarization process for the abs_remainder may bebinarization of the abs_remainder (i.e., a binarized bin string of theabs_remainder). Available bin strings for the abs_remainder may bederived through the binarization process.

A rice parameter cRiceParam for the abs_remainder[n] may be derivedthrough a rice parameter derivation process performed by inputting thecolor component cIdx and luma position (x0, y0), the current coefficientscan position (xC, yC), log2TbWidth, which is the binary logarithm ofthe width of the transform block, and log2TbHeight, which is the binarylogarithm of the height of the transform block. A detailed descriptionof the rice parameter derivation process will be described later.

In addition, for example, cMax for abs_remainder[n] to be currentlycoded may be derived based on the rice parameter cRiceParam. The cMaxmay be derived as shown in the following equation.

cMax=6<<cRiceParam  [Equation 11]

Meanwhile, binarization for the abs_remainder, that is, a bin string forthe abs_remainder, may be concatenation of a prefix bin string and asuffix bin string in the presence of the suffix bin string. In addition,in the absence of the suffix bin string, the bin string for theabs_remainder may be the prefix bin string.

For example, the prefix bin string may be derived as described below.

A prefix value prefixVal of the abs_remainder[n] may be derived as shownin the following equation.

prefixVal=Min(cMax,abs_remainder[n])  [Equation 12]

A prefix of the bin string (i.e., a prefix bin string) of theabs_remainder[n] may be derived through a TR binarization process forthe prefixVal, in which the cMax and the cRiceParam are used as aninput.

If the prefix bin string is identical to a bit string in which all bitsare 1 and a bit length is 6, a suffix bin string of the bin string ofthe abs_remainder[n] may exist, and may be derived as described below.

The rice parameter deriving process for the dec_abs_level[n] may be asfollows.

An input of the rice parameter deriving process may be a colourcomponent index cIdx, a luma position (x0, y0), a current coefficientscan position (xC, yC), log2TbWidth as a binary logarithm of a width ofa transform block, and log2TbHeight as a binary logarithm of a height ofthe transform block. The luma position (x0, y0) may indicate a top-leftsample of a current luma transform block based on a top-left luma sampleof a picture. In addition, an output of the rice parameter derivingprocess may be the rice parameter cRiceParam.

For example, a variable locSumAbs may be derived similarly to a pseudocode disclosed in the following table, based on an array AbsLevel[x][y]for a transform block having the given component index cIdx and thetop-left luma position (x0, y0).

TABLE 12 locSumAbs = 0 if( xC < (1 << log2TbWidth) − 1 ) {  locSumAbs +=AbsLevel[ xC + 1 ][ yC ]  if( xC < (1 << log2TbWidth) − 2 )     locSumAbs += AbsLevel[ xC + 2 ][ yC ]  if( yC < (1 << log2TbHeight)− 1 )      locSumAbs += AbsLevel[ xC + 1 ][ yC + 1 ]   (1532) } if( yC <(1 << log2TbHeight) − 1 ) {  locSumAbs += AbsLevel[ xC ][ yC + 1 ]  if(yC < (1 << log2TbHeight) − 2 )      locSumAbs += AbsLevel[ xC ][ yC + 2] } locSumAbs = Clip3( 0, 31, locSumAbs − baseLevel * 5 )

Then, based on the given variable locSumAbs, the rice parametercRiceParam may be derived as shown in the following table.

TABLE 13 locSumAbs 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 cRiceParam 0 00 0 0 0 0 1 1 1 1 1 1 1 2 2 locSumAbs 16 17 18 19 20 21 22 23 24 25 2627 28 29 30 31 cRiceParam 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3

Also, for example, in the rice parameter derivation process forabs_remainder[n], the baseLevel may be set to 4.

Alternatively, for example, the rice parameter cRiceParam may bedetermined based on whether a transform skip is applied to a currentblock. That is, if a transform is not applied to a current TB includinga current CG, in other words, if the transform skip is applied to thecurrent TB including the current CG, the rice parameter cRiceParam maybe derived to be 1.

Also, a suffix value suffixVal of the abs_remainder may be derived asshown in the following equation.

suffixVal=abs_remainder[n]cMax  [Equation 13]

A suffix bin string of the bin string of the abs_remainder may bederived through a limited EGk binarization process for the suffixVal inwhich k is set to cRiceParam+1, riceParam is set to cRiceParam, andlog2TransformRange is set to 15, and maxPreExtLen is set to 11.

Meanwhile, for example, a binarization process for a syntax elementdec_abs_level in the residual information may be performed as follows.

An input of the binarization process for the dec_abs_level may be arequest for binarization of a syntax element dec_abs_level[n], a colourcomponent cIdx, a luma position (x0, y0), a current coefficient scanposition (xC, yC), log2TbWidth as a binary logarithm of a width of atransform block, and log2TbHeight as a binary logarithm of a height ofthe transform block. The luma position (x0, y0) may indicate a top-leftsample of a current luma transform block based on a top-left luma sampleof a picture.

An output of the binarization process for the dec_abs_level may bebinarization of the dec_abs_level (i.e., a binarized bin string of thedec_abs_level). Available bin strings for the dec_abs_level may bederived through the binarization process.

A rice parameter cRiceParam for dec_abs_level[n] may be derived througha rice parameter deriving process performed with an input of the colourcomponent cIdx, the luma position (x0, y0), the current coefficient scanposition (xC, yC), the log2TbWidth as the binary logarithm of the widthof the transform block, and the log2TbHeight as the binary logarithm ofthe height of the transform block. The rice parameter deriving processwill be described below in detail.

In addition, for example, cMax for the dec_abs_level[n] may be derivedbased on the rice parameter cRiceParam. The cMax may be derived as shownin the following table.

cMax=6<<cRiceParam  [Equation 14]

Meanwhile, binarization for the dec_abs_level[n], that is, a bin stringfor the dec_abs_level[n], may be concatenation of a prefix bin stringand a suffix bin string in the presence of the suffix bin string. Inaddition, in the absence of the suffix bin string, the bin string forthe dec_abs_level[n] may be the prefix bin string.

For example, the prefix bin string may be derived as described below.

A prefix value prefixVal of the dec_abs_level[n] may be derived as shownin the following equation.

prefixVal=Min(cMax,dec_abs_level[n])  [Equation 15]

A prefix of the bin string (i.e., a prefix bin string) of thedec_abs_level[n] may be derived through a TR binarization process forthe prefixVal, in which the cMax and the cRiceParam are used as aninput.

If the prefix bin string is identical to a bit string in which all bitsare 1 and a bit length is 6, a suffix bin string of the bin string ofthe dec_abs_level[n] may exist, and may be derived as described below.

The rice parameter deriving process for the dec_abs_level[n] may be asfollows.

An input of the rice parameter deriving process may be a colourcomponent index cIdx, a luma position (x0, y0), a current coefficientscan position (xC, yC), log2TbWidth as a binary logarithm of a width ofa transform block, and log2TbHeight as a binary logarithm of a height ofthe transform block. The luma position (x0, y0) may indicate a top-leftsample of a current luma transform block based on a top-left luma sampleof a picture. In addition, an output of the rice parameter derivingprocess may be the rice parameter cRiceParam.

For example, a variable locSumAbs may be derived similarly to a pseudocode disclosed in the following table, based on an array AbsLevel[x][y]for a transform block having the given component index cIdx and thetop-left luma position (x0, y0).

TABLE 14 locSumAbs = 0 if( xC < (1 << log2TbWidth) − 1 ) {  locSumAbs +=AbsLevel[ xC + 1 ][ yC ]  if( xC < (1 << log2TbWidth) − 2 )     locSumAbs += AbsLevel[ xC + 2 ][ yC ]  if( yC < (1 << log2TbHeight)− 1 )      locSumAbs += AbsLevel[ xC + 1 ][ yC + 1 ]    (1532) } if( yC< (1 << log2TbHeight) − 1 ) {  locSumAbs += AbsLevel[ xC ][ yC + 1 ] if( yC < (1 << log2TbHeight) − 2 )      locSumAbs += AbsLevel[ xC ][yC + 2 ] } locSumAbs = Clip3( 0, 31, locSumAbs − baseLevel * 5 )

Then, based on the given variable locSumAbs, the rice parametercRiceParam may be derived as shown in the following table.

TABLE 15 locSumAbs 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 cRiceParam 0 00 0 0 0 0 1 1 1 1 1 1 1 2 2 locSumAbs 16 17 18 19 20 21 22 23 24 25 2627 28 29 30 31 cRiceParam 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3

Also, for example, in the rice parameter derivation process fordec_abs_level[n], the baseLevel may be set to 0, and the ZeroPos[n] maybe derived as follows.

ZeroPos[n]=(QState<2?1:2)<<cRiceParam  [Equation 16]

In addition, a suffix value suffixVal of the dec_abs_level[n] may bederived as shown in the following equation.

suffixVal=dec_abs_level[n]−cMax  [Equation 17]

A suffix bin string of the bin string of the dec_abs_level[n] may bederived through a limited EGk binarization process for the suffixVal inwhich k is set to cRiceParam+1, truncSuffixLen is set to 15, andmaxPreExtLen is set to 11.

Meanwhile, the RRC and the TSRC may have the following differences.

-   -   For example, the rice parameter cRiceParam of the syntax element        abs_remainder[ ] and dec_abs_level[ ] in the RRC may be derived        based on the locSumAbs, the look-up table and/or the baseLevel        as described above, but the rice parameter cRiceParam of the        syntax element abs_remainder[ ] in the TSRC may be derived as 1.        That is, for example, when transform skip is applied to the        current block (e.g., the current TB), the Rice parameter        cRiceParam for abs_remainder[ ] of the TSRC for the current        block may be derived as 1.    -   Also, for example, referring to Table 3 and Table 4, in the RRC,        abs_level_gtx_flag[n][0] and/or abs_level_gtx_flag[n][1] may be        signaled, but in the TSRC, abs_level_gtx_flag[n][0],        abs_level_gtx_flag[n][1], abs_level_gtx_flag[n][2],        abs_level_gtx_flag[n][3], and abs_level_gtx_flag[n][4] may be        signaled. Here, the abs_level_gtx_flag[n][0] may be expressed as        abs_level_gt1_flag or a first coefficient level flag, the        abs_level_gtx_flag[n][1] may be expressed as abs_level_gt3_flag        or a second coefficient level flag, the abs_level_gtx_flag[n][2]        may be expressed as abs_level_gt5_flag or a third coefficient        level flag, the abs_level_gtx_flag[n][3] may be expressed as        abs_level_gt7_flag or a fourth coefficient level flag, and the        abs_level_gtx_flag[n][4] may be expressed as abs_level_gt9_flag        or a fifth coefficient level flag. Specifically, the first        coefficient level flag may be a flag for whether a coefficient        level is greater than a first threshold (for example, 1), the        second coefficient level flag may be a flag for whether a        coefficient level is greater than a second threshold (for        example, 3), the third coefficient level flag may be a flag for        whether a coefficient level is greater than a third threshold        (for example, 5), the fourth coefficient level flag may be a        flag for whether a coefficient level is greater than a fourth        threshold (for example, 7), the fifth coefficient level flag may        be a flag for whether a coefficient level is greater than a        fifth threshold (for example, 9). As described above, in the        TSRC, compared to the RRC, abs_level_gtx_flag[n][0],        abs_level_gtx_flag[n][1], and abs_level_gtx_flag[n][2],        abs_level_gtx_flag[n][3], abs_level_gtx_flag[n][4] may be        further included.    -   Also, for example, in the RRC, the syntax element        coeff_sign_flag may be bypass coded, but in the TSRC, the syntax        element coeff_sign_flag may be bypass coded or context coded.

Further, for a residual sample quantization process, dependentquantization may be proposed. The dependent quantization may represent amethod dependent on a value of a transform coefficient (value of atransform coefficient level) in which a reconstructed value set allowedfor a current transform coefficient precedes the current transformcoefficient in a reconstruction order. That is, for example, thedependent quantization may be realized by (a) defining two scalarquantizers having different reconstruction levels, and (b) defining aprocess for transition between the scalar quantizers. The dependentquantization may have an effect on that an allowed reconstructed vectoris more concentrated in an N-dimensional vector space in comparison tothe existing independent scalar quantization. Here, N may represent thenumber of transform coefficients of a transform block.

FIG. 6 exemplarily illustrates scalar quantizers being used in dependentquantization. Referring to FIG. 6 , the position of the enabledreconstructed levels may be designated by a quantization step size Δ.Referring to FIG. 6 , the scalar quantizers may be represented as Q0 andQ1. The scalar quantizer being used may be derived without beingexplicitly signaled from a bitstream. For example, the quantizer beingused for the current transform coefficient may be determined by paritiesof the transform coefficient level preceding the current transformcoefficient in the coding/reconstruction order.

FIG. 7 exemplarily illustrates the state transition and quantizerselection for the dependent quantization.

Referring to FIG. 7 , the transition between the two scalar quantizersQ0 and Q1 may be realized through a state machine having four states.The four states may have four different values (0, 1, 2, and 3). In thecoding/reconstructed order, the state for the current transformcoefficient may be determined by the parities of the transformcoefficient level prior to the current transform coefficient.

For example, in case that a dequantization process for the transformblock starts, the state for the dependent quantization may be configuredas 0. Thereafter, the transform coefficients of the transform block maybe reconstructed in the scan order (i.e., the same order as that ofentropy decoding). For example, after the current transform coefficientis reconstructed, as illustrated in FIG. 7 , the state for the dependentquantization may be updated. In the scan order, the dequantizationprocess for the transform coefficient being reconstructed after thecurrent transform coefficient is reconstructed may be performed based onan updated state. In FIG. 7 , k may represent a value of the transformcoefficient, that is, the value of the transform coefficient levelvalue. For example, if k (value of the current transform coefficient) &1 is 0 in a state where the current state is 0, the state may be updatedto 0, whereas if the k&1 is 1, the state may be updated to 2. Further,for example, if the k&1 is 0 in a state where the current state is 1,the state may be updated to 2, whereas if the k&1 is 1, the state may beupdated to 0. Further, for example, if the k&1 is 0 in a state where thecurrent state is 2, the state may be updated to 1, whereas if the k&1 is1, the state may be updated to 3. Further, for example, if the k&1 is 0in a state where the current state is 3, the state may be updated to 3,whereas if the k&1 is 1, the state may be updated to 1. Referring toFIG. 7 , if the state is either 0 or 1, the scalar quantizer being usedin the dequantization process may be Q0, and if the state is either 2 or3, the scalar quantizer being used in the dequantization process may beQ1. The transform coefficient may be dequantized by the scalar quantizerfor the current state based on a quantization parameter for areconstructed level of the transform coefficient.

Meanwhile, the present disclosure proposes embodiments related toresidual data coding. The embodiments being explained in the presentdisclosure may be combined with each other. In the residual data codingmethod as described above, regular residual coding (RRC) and transformskip residual coding (TSRC) may be present.

Of the two methods as described above, the residual data coding methodfor the current block may be determined based on values oftransform_skip_flag and sh_ts_residual_coding_disabled_flag asillustrated in Table 1. Here, the syntax elementsh_ts_residual_coding_disabled_flag may represent whether the TSRC isenabled. Accordingly, if the slice_ts_residual_coding_disabled_flagrepresents that the TSRC is not enabled even in case that thetransform_skip_flag represents the transform skip, the syntax elementsaccording to the RRC may be signaled for the transform skip block. Thatis, if the value of the transform_skip_flag is 0, or if the value of theslice_ts_residual_coding_disabled_flag is 1, the RRC may be used,whereas otherwise, the TSRC may be used.

Although high coding efficiency may be obtained in specific applications(e.g., lossless coding and the like) by using theslice_ts_residual_coding_disabled_flag, in the existing video/imagecoding standard, restrictions on a case that the dependent quantizationand the slice_ts_residual_coding_disabled_flag are used together havenot been proposed. That is, the dependent quantization may be activatedat a high level (e.g., sequence parameter set (SPS) syntax/videoparameter set (VPS) syntax/decoding parameter set (DPS) syntax/pictureheader syntax/slice header syntax) or at a low level (CU/TU), and if theslice_ts_residual_coding_disabled_flag is 1, the values dependent on thestate of the dependent quantization in the RRC may perform anunnecessary operation (i.e., operation according to the dependentquantization) to degrade the coding performance, or an unintended lossof coding performance may occur due to wrong configuration in theencoding apparatus. Accordingly, the present embodiment proposes schemesfor configuring dependencies/restrictions between two technologies ofthe dependent quantization and the residual coding (i.e., coding ofresidual samples of a transform skip block in the current slice throughthe RRC) in case that the slice_ts_residual_coding_disabled_flag=1,which are used together to prevent unintended coding loss or malfunctionfrom occurring.

As an embodiment, the present disclosure proposes a method in which theslice_ts_residual_coding_disabled_flag is dependent on theph_dep_quant_enabled_flag. For example, the syntax elements proposed inthe present embodiment may be in the following table.

TABLE 16 slice header( ) { Descriptor  picture header in slice headerflag u(1)  if( picture header in slice header flag )   picture headerstructure( )  (...)  if(!ph dep quant enabled flag)  slice ts residualcoding disabled flag u(1)  if( ph lmcs enabled flag )   slice lmcsenabled flag u(1)  if( pic scaling list enabled flag )   slice scalinglist present flag u(1)  if( NumEntryPoints > 0 ) {   offset len minus1uc(v)   for( i = 0; i < NumEntryPoints; i++ )    entry point offsetminus1[ i ] u(v)  }  if( slice header extension present flag ) {   sliceheader extension length uc(v)   for( i = 0; i < slice header extensionlength; i++)    slice header extension data byte[ i ] u(8)  }  bytealignment( ) }

According to the present embodiment, theslice_ts_residual_coding_disabled_flag may be signaled in case that thevalue of the ph_dep_quant_enabled_flag is 0. Here, theph_dep_quant_enabled_flag may represent whether the dependentquantization is enabled. For example, if the value of theph_dep_quant_enabled_flag is 1, it may represent that the dependentquantization is enabled, whereas if the value of theph_dep_quant_enabled_flag is 0, it may represent that the dependentquantization is not enabled.

Accordingly, according to the present embodiment, theslice_ts_residual_coding_disabled_flag may be signaled only in case thatthe dependent quantization is not enabled, and in case that thedependent quantization is enabled, and thus theslice_ts_residual_coding_disabled_flag is not signaled, theslice_ts_residual_coding_disabled_flag may be inferred to as 0.Meanwhile, the ph_dep_quant_enabled_flag and theslice_ts_residual_coding_disabled_flag may be signaled to the pictureheader syntax and/or the slice header syntax, or may be signaled toanother high level syntax (HLS) (e.g., SPS syntax/VPS syntax/DPS syntax)that is not the picture header syntax and the slice header syntax or atthe low level (CU/TU). If the ph_dep_quant_enabled_flag is signaled to asyntax excluding the picture header syntax, it may be called anothername. For example, the ph_dep_quant_enabled_flag may be represented asthe sh_dep_quant_enabled_flag, the sh_dep_quant_used_flag, or thesps_dep_quant_enabled_flag.

Further, the present disclosure proposes another embodiment forconfiguring dependencies/restrictions between the dependent quantizationand the residual coding (i.e., coding of residual samples of thetransform skip block in the current slice through the RRC) in case thatthe slice_ts_residual_coding_disabled_flag=1. For example, the presentembodiment proposes a scheme for making the state of the dependentquantization not in use in coding the level value of the transformcoefficient in case that the value of theslice_ts_residual_coding_disabled_flag is 1 in order to prevent theunintended coding loss or the malfunction from occurring through the useof the dependent quantization and the residual coding (i.e., coding ofresidual samples of the transform skip block in the current slicethrough the RRC) in case that theslice_ts_residual_coding_disabled_flag=1 together. The residual codingsyntax according to the present embodiment may be as in the followingtable.

TABLE 17 residual coding( x0, y0, log2TbWidth, log2TbHeight, cIdx ) {Descriptor  if( sps_mts_enabled_flag && cu_sbt_flag && cIdx = = 0 &&   log2TbWidth = = 5 && log2TbHeight < 6 )   log2ZoTbWidth = 4  else  log2ZoTbWidth = Min( log2TbWidth, 5 )  if( sps_mts_enabled_flag &&cu_sbt_flag && cIdx = = 0 &&    log2TbWidth < 6 && log2TbHeight = = 5 )  log2ZoTbHeight = 4  else   log2ZoTbHeight = Min( log2TbHeight, 5 ) if( log2TbWidth > 0 )   last sig coeff x prefix ae(v)  if(log2TbHeight > 0 )   last_sig_coeff_y_prefix ae(v)  if( last sig coeff xprefix > 3 )   last_sig_coeff_x_suffix ae(v)  if( last sig coeff yprefix > 3 )   last sig coeff y suffix ae(v)  log2TbWidth =log2ZoTbWidth  log2TbHeight = log2ZoTbHeight  remBinsPass1 = ( ( 1 << (log2TbWidth + log2TbHeight ) ) * 7 ) >> 2  log2SbW = ( Min( log2TbWidth,log2TbHeight ) < 2 ? 1 : 2 )  log2SbH = log2SbW  if( log2TbWidth +log2TbHeight > 3 )   if( log2TbWidth < 2 ) {    log2SbW = log2TbWidth   log2SbH = 4 − log2SbW   } else if( log2TbHeight < 2 ) {    log2SbH =log2TbHeight    log2SbW = 4 − log2SbH   }  numSbCoeff = 1 << ( log2SbW +log2SbH )  lastScanPos = numSbCoeff  lastSubBlock = ( 1 << (log2TbWidth + log2TbHeight − ( log2SbW + log2Sb H ) ) ) − 1  do {   if(lastScanPos = = 0 ) {    lastScanPos = numSbCoeff    lastSubBlock− −   }  lastScanPos− −   xS = DiagScanOrder[ log2TbWidth − log2SbW ][log2TbHeight − log2Sb H ]         [ lastSubBlock ][ 0 ]   yS =DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2Sb H ]        [ lastSubBlock ][ 1 ]   xC = ( xS << log2SbW ) + DiagScanOrder[log2SbW ][ log2SbH ][ lastSca nPos ][ 0 ]   yC = ( yS << log2SbH ) +DiagScanOrder[ log2SbW ][ log2SbH ][ lastSca nPos ][ 1 ]  } while ( ( xC= LastSignificantCoefX ) || ( yC = LastSignificantCoeffY ) )  if(lastSubBlock = = 0 && log2TbWidth >= 2 && log2TbHeight >= 2 &&   !transform skip flag[ x0 ][ y0 ][ cIdx ] && lastScanPos > 0 )  LfnstDcOnly = 0  if( ( lastSubBlock > 0 && log2TbWidth >= 2 &&log2TbHeight >= 2 ) ||    ( lastScanPos > 7 && ( log2TbWidth = = 2 ||log2TbWidth = = 3 ) &&    log2TbWidth = = log2TbHeight ) )  LfnstZeroOutSigCoeffFlag = 0  if( ( lastSubBlock > 0 || lastScanPos >0 ) && cIdx = = 0 )   MtsDcOnly = 0  QState = 0  for( i = lastSubBlock;i >= 0; i− − ) {   startQStateSb = QState   xS = DiagScanOrder[log2TbWidth − log2SbW ][ log2TbHeight − log2Sb H ]         [ i ][ 0 ]  yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2Sb H ]        [ i ][ 1 ]   inferSbDcSigCoeffFlag = 0   if( i < lastSubBlock &&i > 0 ) {    coded_sub_block_flag[ xS ][ yS ] ae(v)   inferSbDcSigCoeffFlag = 1   }   if( coded_sub_block_flag[ xS ][ yS ]&& ( xS > 3 || yS > 3 ) && cIdx = = 0 )    MtsZeroOutSigCoeffFlag = 0  firstSigScanPosSb = numSbCoeff   lastSigScanPosSb = −1   firstPosMode0= ( i − − lastSubBlock ? lastScanPos : numSbCoeff − 1 )   firstPosMode1= firstPosMode0   for( n = FirstPosMode0; n >= 0 && remBinsPass1 >= 4;n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH][ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][log2SbH ][ n ] [ 1 ]    if( coded_sub_block_flag[ xS][ yS ] && ( n > 0|| !inferSbDcSigCoeff Flag ) &&     ( xC != LastSignificantCoefX || yC!= Last SignificantCoeffY ) ) {     sig coeff flag[ xC ][ yC ] ae(v)    remBinsPass1− −     if( sig coeff flag[ xC ][ yC ] )     inferSbDcSigCoeffFlag = 0    }    if( sig coeff flag[ xC ][ yC ] ){     abs level gtx flag[ n ][ 0 ] ae(v)     remBinsPass1− −     if( abslevel gtx flag[ n ][ 0 ] ) {      par level flag[ n ] ae(v)     remBinsPass1− −      abs level gtx flag[ n ][ 1 ] ae(v)     remBinsPass1− −     }     if{ lastSigScanPosSb = = −1 )     lastSigScanPosSb = n     firstSigScanPosSb = n    }   AbsLevelPass1[ xC ][ yC ] = sig_coeff_flag[ xC ][ yC ] +par_level_flag [ n ] +           abs_level_gtx_flag[ n ][ 0 ] + 2 *abs_level_gtx_flag[ n ] [ 1 ]    if( ph dep quant enabled flag )    QState = QStateTransTable[ QState ][ AbsLevelPass1[ xC ][ yC ] & 1 ]   firstPosMode1 = n − 1   }   for( n = firstPosMode0; n >firstPosMode1; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) +DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( abs level gtxflag[ n ][ 1 ] )     abs_remainder[ n ] ac(v)    AbsLevel[ xC ][ yC ] =AbsLevelPass1[ xC ][ yC ] +2 * abs_remainder [ n ]   }   for( n =firstPosMode1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) +DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( coded subblock flag[ xS ][ yS ] )     dec abs level[ n ] ae(v)    if( AbsLevel[xC ][ yC ] > 0 ) {     if( lastSigScanPosSb = = −1 )     lastSigScanPosSb = n     firstSigScanPosSb = n    }    if( ph depquant enabled flag )     QState = QStateTransTable[ QState ][ AbsLevel[xC ][ yC ] & 1 ]   }   if( ph dep quant enabled flag || !pic sign datahiding enabled flag )    signHidden = 0   else    signHidden = (lastSigScanPosSb − firstSigScanPosSb > 3 ? 1 : 0 )   for( n = numSbCoeff− 1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[log2SbW ][ log2SbH ][ n ] [ 1 ]    if( ( AbsLevel[ xC ][ yC ] > 0 ) &&    ( !signHidden || ( n != firstSigScanPosSb ) ) )     coeff_sign_flag[n ] ae(v)   }   if( ph_dep_quant_enabled_flag &&!slice_ts_residual_coding_disabled_flag ) {    QState = startQStateSb   for( n = numSbCoeff − 1; n >= 0; n− − ) {     xC = ( xS << log2SbW) +DiagScanOrder[ log2SbW ][ log2SbH ] [ n ][ 0 ]     yC = ( yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]     if( AbsLevel[ xC][ yC ] > 0 )      TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =       ( 2 * AbsLevel[ xC ][ yC ] − ( QState > 1 ? 1 : 0 ) ) *        (1 − 2 * coeff sign flag[ n ] )     QState = QStateTransTable[ QState ][AbsLevel[ xC ][ yC ] & 1 ]   } else {    sumAbsLevel = 0    for( n =numSbCoeff − 1; n >= 0; n− − ) {     xC = ( xS << log2SbW ) +DiagScanOrder[ log2SbW ][ log2SbH ] [ n ][ 0 ]     yC = ( yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]     if( AbsLevel[ xC][ yC ] > 0 ) {      TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =       AbsLevel[ xC ][ yC ] * ( 1 − 2 * coeff sign flag[ n ] )      if(signHidden ) {       sumAbsLevel += AbsLevel[ xC ][ yC ]       if( ( n == firstSigScanPosSb ) && ( sumAbsLevel % 2 ) = = 1 ) )       TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =         −TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ]      }     }   }   }  } }

Referring to Table 17 as described above, in case that the value of theph_dep_quant_enabled_flag is 1, and the value of theslice_ts_residual_coding_disabled_flag is 0, the Qstate may be derived,and the value of the transform coefficient (transform coefficient level)may be derived based on the Qstate. For example, referring to Table 17,the transform coefficient level TransCoeffLevel[x0][y0][cIdx][xC][yC]may be derived as (2*AbsLevel[xC][yC]−(QState>1 ?1:0))*(1−2*coeff_sign_flag[n]). Here, the AbsLevel[xC][yC] may be anabsolute value of the transform coefficient derived based on the syntaxelements of the transform coefficient, the coeff_sign_flag[n] may be asyntax element of a sign flag representing the sign of the transformcoefficient, and the (QState>1 ? 1:0) may represent 1 if the value ofthe state QState is larger than 1, that is, if the value of the stateQstate is 2 or 3, and may represent 0 if the value of the state Qstateis equal to or smaller than 1, that is, if the value of the state Qstateis 0 or 1.

Further, referring to Table 17 as described above, if the value of theslice_ts_residual_coding_disabled_flag is 1, the value of the transformcoefficient (transform coefficient level) may be derived without usingthe Qstate. For example, referring to Table 17, the transformcoefficient level TransCoeffLevel[x0][y0][cIdx][xC][yC] may be derivedas AbsLevel[xC][yC]*(1-2*coeff_sign_flag[n]). Here, the AbsLevel[xC][yC]may be an absolute value of the transform coefficient derived based onthe syntax elements of the transform coefficient, and thecoeff_sign_flag[n] may be an syntax element of a sign flag representingthe sign of the transform coefficient.

Further, according to the present embodiment, if the value of theslice_ts_residual_coding_disabled_flag is 1, the state of the dependentquantization may not be used in coding the level value of the transformcoefficient, and the state update may also not be performed. Forexample, the residual coding syntax according to the present embodimentmay be as in the following table.

TABLE 18 residual coding( x0, y0, log2TbWidth, log2TbHeight, cIdx ) {Descriptor  if( sps_mts_enabled_flag && cu_sbt_flag && cIdx = = 0 &&   log2TbWidth = = 5 && log2TbHeight < 6 )   log2ZoTbWidth = 4  else  log2ZoTbWidth = Min( log2TbWidth, 5 )  if( sps_mts_enabled_flag &&cu_sbt_flag && cIdx = = 0 &&    log2TbWidth < 6 && log2TbHeight = = 5 )  log2ZoTbHeight = 4  else   log2ZoTbHeight = Min( log2TbHeight 5 )  if(log2TbWidth > 0 )   last sig coeff x prefix ae(v)  if( log2TbHeight > 0)   last sig coeff y prefix ae(v)  if( last sig coeff x prefix > 3 )  last sig coeff x suffix ae(v)  if( last sig coeff y prefix > 3 )  last sig coeff y suffix ae(v)  log2TbWidth = log2ZoTbWidth log2TbHeight = log2ZoTbHeight  remBinsPass1 = ( ( 1 << ( log2TbWidth +log2TbHeight ) ) * 7 ) >> 2  log2SbW = ( Min( log2TbWidth, log2TbHeight) < 2 ? 1 : 2 )  log2SbH = log2SbW  if( log2TbWidth + log2TbHeight > 3 )  if( log2TbWidth < 2 ) {    log2SbW = log2TbWidth    log2SbH = 4 −log2SbW   } else if( log2TbHeight < 2 ) {    log2SbH = log2TbHeight   log2SbW = 4 − log2SbH   }  numSbCoeff = 1 << ( log2SbW + log2SbH ) lastScanPos = numSbCoeff  lastSubBlock = ( 1 << ( log2TbWidth +log2TbHeight − ( log2SbW + log2Sb H ) ) )− 1  do {   if( lastScanPos = =0 ) {    lastScanPos = numSbCoeff    lastSubBlock− −   }   lastScanPos−−   xS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2Sb H]         [ lastSubBlock][ 0 ]   yS = DiagScanOrder[ log2TbWidth −log2SbW ][ log2TbHeight − log2Sb H ]         [ lastSubBlock][ 1 ]   xC =( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ lastSca nPos ][0 ]   yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][lastSca nPos ][ 1 ]  } while ( ( xC != LastSignificantCoeffX ) || ( yC =LastSignificantCoeffY ) )  if( lastSubBlock = = 0 && log2TbWidth >= 2 &&log2TbHeight >= 2 &&    !transform skip flag[ x0 ][ y0 ][ cIdx ] &&lastScanPos > 0 )   LfnstDcOnly = 0  if( ( lastSubBlock > 0 &&log2TbWidth >= 2 && log2TbHeight >= 2 ) ||    ( lastScanPos > 7 && (log2TbWidth = = 2 || log2TbWidth = = 3 ) &&    log2TbWidth = =log2TbHeight ) )   LfstZeroOutSigCoeffFlag = 0  if( ( lastSubBlock > 0|| lastScanPos > 0 ) && cIdx = = 0 )   MtsDcOnly = 0  QState = 0  for( i= lastSubBlock; 1 >= 0; i− − ) {   startQStateSb = QState   xS =DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2Sb H ]        [ i ][ 0 ]   yS = DiagScanOrder[ log2TbWidth − log2SbW ][log2TbHeight − log2Sb H ]         [ i ][ 1 ]   inferSbDcSigCoeffFlag = 0  if( i < lastSubBlock && i > 0 ) {    coded_sub_block_flag[ xS ][ yS ]ae(v)    inferSbDcSigCoeffFlag = 1   }   if( coded_sub_block_flag[ xS ][yS ] && ( xS > 3 || yS > 3 ) && cIdx = = 0 )    MtsZeroOutSigCoeffFlag =0   firstSigScanPosSb = numSbCoeff   lastSigScanPosSb = −1  firstPosMode0 = ( i = = lastSubBlock ? lastScanPos : numSbCoeff − 1 )  firstPosMode1 = FirstPosMode0   for( n = firstPosMode0; n >= 0 &&remBinsPass1 >= 4; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) +DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if(coded_sub_block_flag[ xS ][ yS ] && ( n > 0 || !inferSbDcSigCoeff Flag )&&     ( xC != LastSignificantCoefX || yC != Last SignificantCoeffY ) ){     sig coeff flag[ xC ][ yC ] ae(v)     remBinsPass1− −     if( sigcoeff flag[ xC ][ yC ] )      inferSbDcSigCoeffFlag = 0    }    if( sigcoeff flag[ xC ][ yC ] ) {     abs_level_gtx_flag[ n ][ 0 ] ae(v)    remBinsPass1− −     if( abs level gtx flag[ n ][ 0 ] ) {     par_level_flag[ n ] ae(v)      remBinsPass1− −     abs_level_gtx_flag[ n ][ 1 ] ac(v)      remBinsPass1− −     }    if( lastSigScanPosSb = = −1 )      lastSigScanPosSb = n    firstSigScanPosSb = n    }    AbsLevelPass1[ xC ][ yC ] =sig_coeff_flag[ xC ][ yC ] + par_level_flag [ n ] +          abs_level_gtx_flag[ n ][ 0 ] + 2 * abs_level_gtx_flag[ n ] [ 1]    if( ph_dep_quant_enabled_flag &&!slice_ts_residual_coding_disabled_fl ag )     QState =QStateTransTable[ QState ][ AbsLevelPass1[ xC ][ yC ] & 1 ]   firstPosMode1 = n − 1   }   for( n = firstPosMode0; n >firstPosMode1; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrdcr[log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) +DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( abs level gtxflag[ n ][ 1 ] )     abs_remainder[ n ] ae(v)    AbsLevel[ xC ][ yC ] =AbsLevelPass1[ xC ][ yC ] + 2 * abs_remainder [ n ]   }   for( n =firstPosMode1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) +DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( coded subblock flag[ xS ][ yS ] )     dec_abs_level[ n ] acfv)    if( AbsLevel[xC ][ yC ] > 0 ) {     if( lastSigScanPosSb = = −1 )     lastSigScanPosSb = n     firstSigScanPosSb = n    }    if(ph_dep_quant_enabled_flag && !slice_ts_residual_coding_disabled_fl ag )    QState = QStateTransTable[ QState ][ AbsLevel[ xC ][ yC ] & 1 ]   }  if( ph dep quant enabled flag || !pic sign data hiding enabled flag )   signHidden = 0   else    signHidden = ( lastSigScanPosSb −firstSigScanPosSb > 3 ? 1 : 0 )   for( n = numSbCoeff− 1; n >= 0; n− − ){    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ][ 1 ]    if( ( AbsLevel[ xC ][ yC ] > 0 ) &&     ( !signHidden || ( n !=firstSigScanPosSb ) ) )     coeff_sign_flag[ n ] ae(v)   }   if(ph_dep_quant_enabled_flag && !slice_ts_residual_coding_disabled_flag ) {   QState = startQStateSb    for( n = numSbCoeff − 1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ] [ n ][0 ]     yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n] [ 1 ]     if( AbsLevel[ xC ][ yC ] > 0 )      TransCoeffLevel[ x0 ][y0 ][ cIdx ][ xC ][ yC ] =        ( 2 * AbsLevel[ xC ][ yC ] − (QState > 1 ? 1 : 0 ) ) *        ( 1 − 2 * coeff sign flag[ n ] )    QState = QStateTransTable[ QState ][ AbsLevel[ xC ][ yC ] & 1 ]   }else {    sumAbsLevel = 0    for( n = numSbCoeff − 1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ] [ n ][0 ]     yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n] [ 1 ]     if( AbsLevel[ xC ][ yC ] > 0 ) {      TransCoeffLevel[ x0 ][y0 ][ cIdx ][ xC ][ yC ] =        AbsLevel[ xC ][ yC ] * ( 1 − 2 * coeffsign flag[ n ] )      if( signHidden ) {       sumAbsLevel += AbsLevel[xC ][ yC ]       if( ( n = = firstSigScanPosSb ) && ( sumAbsLevel % 2 )= = 1 ) )        TransCoeffLevel[ x0 ][ y0 ][ cIdx [ xC ][ yC ] =         −TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ]      }     }   }   }  } }

Referring to Table 18 as described above, if the value of theph_dep_quant_enabled_flag is 1, and the value of theslice_ts_residual_coding_disabled_flag is 0, the Qstate may be updated.For example, if the value of the ph_dep_quant_enabled_flag is 1, and thevalue of the slice_ts_residual_coding_disabled_flag is 0, the QState maybe updated as QStateTransTable[QState][AbsLevelPass1[xC][yC] & 1] orQStateTransTable[QState][AbsLevel[xC][yC] & 1]. Further, if the value ofthe slice_ts_residual_coding_disabled_flag is 1, a process of updatingthe Qstate may not be performed.

Further, referring to Table 18 as described above, if the value of theph_dep_quant_enabled_flag is 1, and the value of theslice_ts_residual_coding_disabled_flag is 0, the value of the transformcoefficient (transform coefficient level) may be derived based on theQState. For example, referring to Table 18, the transform coefficientlevel TransCoeffLevel[x0][y0][cIdx][xC][yC] may be derived as(2*AbsLevel[xC][yC]−(QState>1 ? 1:0))*(1−2*coeff_sign_flag[n]). Here,the AbsLevel[xC][yC] may be an absolute value of the transformcoefficient derived based on the syntax elements of the transformcoefficient, the coeff_sign_flag[n] may be the syntax element of thesign flag representing the sign of the transform coefficient, and the(QState>1 ? 1:0) may represent 1 if the value of the state QState islarger than 1, that is, if the value of the state Qstate is 2 or 3, andmay represent 0 if the value of the state Qstate is equal to or smallerthan 1, that is, if the value of the state Qstate is 0 or 1.

Further, referring to Table 18 as described above, if the value of theslice_ts_residual_coding_disabled_flag is 1, the value of the transformcoefficient (transform coefficient level) may be derived without usingthe Qstate. For example, referring to Table 18, the transformcoefficient level TransCoeffLevel[x0][y0][cIdx][xC][yC] may be derivedas AbsLevel[xC][yC]*(1-2*coeff_sign_flag[n]). Here, the AbsLevel[xC][yC]may be an absolute value of the transform coefficient derived based onthe syntax elements of the transform coefficient, and thecoeff_sign_flag[n] may be an syntax element of a sign flag representingthe sign of the transform coefficient.

Further, the present disclosure proposes another embodiment forconfiguring dependencies/restrictions between the dependent quantizationand the residual coding (i.e., coding of residual samples of thetransform skip block in the current slice through the RRC) in case thatthe slice_ts_residual_coding_disabled_flag=1. For example, the presentembodiment proposes a scheme for adding restrictions using atransform_skip_flag in a process of deriving the value of the transformcoefficient (transform coefficient level) dependently on the stateupdate or the state of the dependent quantization in the RRC. That is,the present embodiment proposes a scheme for making the process ofderiving the value of the transform coefficient (transform coefficientlevel) not in use dependently on the state update and/or the state ofthe dependent quantization in the RRC based on the transform_skip_flag.The residual coding syntax according to the present embodiment may be asin the following Table.

TABLE 19 residual coding( x0, y0, log2TbWidth, log2TbHeight, cIdx ) {Descriptor  if( sps_mts_enabled_flag && cu_sbt_flag && cIdx = = 0 &&   log2TbWidth = = 5 && log2TbHeight < 6 )   log2ZoTbWidth = 4  else  log2ZoTbWidth = Min( log2TbWidth, 5 )  if( sps_mts_enabled_flag &&cu_sbt_flag && cIdx = = 0 &&    log2TbWidth < 6 && log2TbHeight = = 5 )  log2ZoTbHeight = 4  else   log2ZoTbHeight = Min( log2TbHeight, 5 ) if( log2TbWidth > 0 )   last sig coeff x prefix ae(v)  if(log2TbHeight > 0 )   last_sig_coeff_y_prefix ae(v)  if( last sig coeff xprefix > 3 )   last sig coeff x suffix ae(v)  if( last sig coeff yprefix > 3 )   last sig coeff y suffix ae(v)  log2TbWidth =log2ZoTbWidth  log2TbHeight = log2ZoTbHeight  remBinsPass1 = ( ( 1 << (log2TbWidth + log2TbHeight ) ) * 7 ) >> 2  log2SbW = ( Min( log2TbWidth,log2TbHeight ) < 2 ? 1 : 2 )  log2SbH = log2SbW  if( log2TbWidth +log2TbHeight > 3 )   if( log2TbWidth < 2 ) {    log2SbW = log2TbWidth   log2SbH = 4 − log2SbW   } else if( log2TbHeight < 2 ) {    log2SbH =log2TbHeight    log2SbW = 4 − log2SbH   }  numSbCoeff = 1 << ( log2SbW +log2SbH )  lastScanPos = numSbCoeff  lastSubBlock = ( 1 << (log2TbWidth + log2TbHeight − ( log2SbW + log2Sb H ) ) )− 1  do {   if(lastScanPos = = 0 ) {    lastScanPos = numSbCoeff    lastSubBlock− −   }  lastScanPos− −   xS = DiagScanOrder[ log2TbWidth − log2SbW ][log2TbHeight − log2Sb H ]         [ lastSubBlock ][ 0 ]   yS =DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2Sb H ]        [ lastSubBlock ][ 1 ]   xC = ( xS << log2SbW ) + DiagScanOrder[log2SbW ][ log2SbH ][ lastSca nPos ][ 0 ]   yC = ( yS << log2SbH ) +DiagScanOrder[ log2SbW ][ log2SbH ][ lastSca nPos ][ 1 ]  } while( ( xC!= LastSignificantCoeffX ) || ( yC != LastSignificantCoeffY ) )  if(lastSubBlock = = 0 && log2TbWidth >= 2 && log2TbHeight >= 2 &&   !transform skip flag[ x0 ][ y0 ][ cIdx ] && lastScanPos > 0 )  LfstDcOnly = 0  if( ( lastSubBlock > 0 && log2TbWidth >= 2 &&log2TbHeight >= 2 ) ||    ( lastScanPos > 7 && ( log2TbWidth = = 2 ||log2TbWidth = = 3 ) &&    log2TbWidth = = log2TbHeight ) )  LfnstZeroOutSigCoeffFlag = 0  if( ( lastSubBlock > 0 || lastScanPos >0 ) && cIdx = = 0 )   MtsDcOnly = 0  QState = 0  for( i = lastSubBlock;i >= 0; i− − ) {   startQStateSb = QState   xS = DiagScanOrder[log2TbWidth − log2SbW ][ log2TbHeight − log2Sb H ]         [ i ][ 0 ]  yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2Sb H ]        [ i ][ 1 ]   inferSbDcSigCoeffFlag = 0   if( i < lastSubBlock &&i > 0 ) {    coded_sub_block_flag[ xS ][ yS ] ae(v)   inferSbDcSigCoeffFlag = 1   }   if( coded_sub_block_flag[ xS ][ yS ]&& ( xS > 3 || yS > 3 ) && cIdx = = 0 )    MtsZeroOutSigCoeffFlag = 0  firstSigScanPosSb = numSbCoeff   lastSigScanPosSb = −1   firstPosMode0= ( i = = lastSubBlock ? lastScanPos : numSbCoeff − 1 )   firstPosMode1= firstPosMode0   for( n = firstPosMode0; n >= 0 && remBinsPass1 >= 4;n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH][ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder log2SbW ][log2SbH ][ n ] [ 1 ]    if( coded_sub_block_flag[ xS ][ yS ] && ( n > 0|| !inferSbDcSigCoeff Flag ) &&     ( xC != LastSignificantCoeffX || yC!= LastSignificantCoeffY ) ) ) {     sig coeff flag[ xC ][ yC ] ae(v)    remBinsPass1− −     if( sig coeff flag[ xC ][ yC ] )     inferSbDcSigCoeffFlag = 0    }    if( sig coeff flag[ xC ][ yC ] ){     abs level gtx flag[ n ][ 0 ] ae(v)     remBinsPass1− −     if( abslevel gtx flag[ n ][ 0 ] ) {      par level flag[ n ] ae(v)     rcmBinsPass1− −      abs level gtx flag[ n ][ 1 ] ae(v)     remBinsPass1− −     }     if( lastSigScanPosSb = = −1 )     lastSigScanPosSb = n     firstSigScanPosSb = n    }   AbsLevelPass1[ xC ][ yC ] = sig_coeff_flag[ xC ][ yC ] +par_level_flag [ n ] +           abs_level_gtx_flag[ n ][ 0 ] + 2 *abs_level_gtx_flag[ n ] [ 1 ]    if( ph_dcp_quant_enabled_flag &&!transform_skip_flag[ x0 ][ y0 ][ cIdx ] )     QState =QStateTransTable[ QState ][ AbsLevelPass1[ xC ][ yC ] & 1 ]   firstPosMode1 = n − 1   }   for( n = firstPosMode0; n >firstPosMode1; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) +DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( abs level gtxflag[ n ][ 1 ] )     abs_remainder[ n ] ae(v)    AbsLevel[ xC ][ yC ] =AbsLevelPass1[ xC ][ yC ] +2 * abs_remainder [ n ]   }   for( n =firstPosMode1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) +DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( coded subblock flag[ xS ][ yS ] )     dec_abs-level[ n ] ac(v)    if( AbsLevel[xC ][ yC ] > 0 ) {     if( lastSigScanPosSb = = −1 )     lastSigScanPosSb = n     firstSigScanPosSb = n    }    if(ph_dcp_quant_enabled_flag && !transform_skip_flagf[ x0 ][ y0 ][ cIdx ] )    QState = QStateTransTable[ QState ][ AbsLevel[ xC ][ yC ] & 1 ]   }  if( ph_dep_quant_enabled_flag || !pic_sign_data_hiding_enabled_flag )   signHidden = 0   else    signHidden = ( lastSigScanPosSb −firstSigScanPosSb > 3 ? 1 : 0 )   for( n = numSbCoeff − 1; n >= 0; n− −) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ][ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n] [ 1 ]    if( ( AbsLevel[ xC ][ yC ] > 0 ) &&     ( !signHidden || ( n!= firstSigScanPosSb ) ) )     coeff_sign_flag[ n ] ae(v)   }   if(ph_dep_quant_enabled_flag && !transform_skip_flag[ x0 ][ y0 ][ cIdx ] ){    QState = startQStateSb    for( n = numSbCoeff − 1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ] [ n ][0 ]     yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n] [ 1 ]     if( AbsLevel[ xC ][ yC ] > 0 )      TransCoeffLevel[ x0 ][y0 ][ cIdx ][ xC ][ yC ] =        ( 2 * AbsLevel[ xC ][ yC ] − (QState > 1 ? 1 : 0 ) ) *        ( 1 − 2 * coeff sign flag[ n ] )    QState = QStateTransTable[ QState ][ AbsLevel[ xC ][ yC ] & 1 ]   }else {    sumAbsLevel = 0    for( n = numSbCoeff − 1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ] [ n ][0 ]     yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n] [ 1 ]     if( AbsLevel[ xC ][ yC ] > 0 ) {      TransCoeffLevel[ x0 ][y0 ][ cIdx ][ xC ][ yC ] =        AbsLevel[ xC ][ yC ] * ( 1 − 2 * coeffsign flag[ n ] )      if( signHidden ) {       sumAbsLevel += AbsLevel[xC ][ yC ]       if( ( n = = firstSigScanPosSb ) && ( sumAbsLevel % 2 )= = ] ) )        TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =         −TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ]      }     }   }   }  } }

Referring to Table 19 as described above, if the value of theph_dep_quant_enabled_flag is 1, and the value of the transform_skip_flagis 0, the Qstate may be updated. For example, if the value of theph_dep_quant_enabled_flag is 1, and the value of the transform_skip_flagis 0, the Qstate may be updated asQStateTransTable[QState][AbsLevelPass1[xC][yC] & 1] orQStateTransTable[QState][AbsLevel[xC][yC] & 1]. Further, if the value ofthe transform_skip_flag is 1, the process of updating the Qstate may notbe performed.

Further, referring to Table 19 as described above, if the value of theph_dep_quant_enabled_flag is 1, and the value of the transform_skip_flagis 0, the Qstate may be derived, and the value of the transformcoefficient (transform coefficient level) may be derived based on theQState. For example, referring to Table 19, the transform coefficientlevel TransCoeffLevel[x0][y0][cIdx][xC][yC] may be derived as(2*AbsLevel[xC][yC]−(QState>1 ? 1:0))*(1-2*coeff_sign_flag[n]). Here,the AbsLevel[xC][yC] may be an absolute value of the transformcoefficient derived based on the syntax elements of the transformcoefficient, the coeff_sign_flag[n] may be the syntax element of thesign flag representing the sign of the transform coefficient, and the(QState>1 ? 1:0) may represent 1 if the value of the state QState islarger than 1, that is, if the value of the state Qstate is 2 or 3, andmay represent 0 if the value of the state Qstate is equal to or smallerthan 1, that is, if the value of the state Qstate is 0 or 1.

Further, referring to Table 19 as described above, if the value of thetransform_skip_flag is 1, the value of the transform coefficient(transform coefficient level) may be derived without using the Qstate.Accordingly, in case that the residual data according to the RRC iscoded for the transform skip block, the value of the transformcoefficient may be derived without using the Qstate. For example,referring to Table 19, the transform coefficient levelTransCoeffLevel[x0][y0][cIdx][xC][yC] may be derived asAbsLevel[xC][yC]*(1−2*coeff_sign_flag[n]). Here, the AbsLevel[xC][yC]may be an absolute value of the transform coefficient derived based onthe syntax elements of the transform coefficient, and thecoeff_sign_flag[n] may be the syntax element of the sign flagrepresenting the sign of the transform coefficient.

Further, the present disclosure proposes various embodiments related tosignalling of the above-described syntax elementsh_ts_residual_coding_disabled_flag.

For example, as described above, the sh_ts_residual_coding_disabled_flagis a syntax element defining whether the TSRC is not enabled, and incase that the transform skip block is not used, it may not be necessaryto be signaled. That is, only in case that the syntax element forwhether the transform skip block is used represents that the transformskip block is used, it may be significant to perform signaling of thesh_ts_residual_coding_disabled_flag.

Accordingly, the present disclosure proposes an embodiment for signalingthe sh_ts_residual_coding_disabled_flag only in case that thesps_transform_skip_enabled_flag is 1. The syntax according to thepresent embodiment is as in the following table.

TABLE 20 slice header( ) { Descriptor  (...)   if(sps transform skipenabled flag)    slice_ts_residual_coding_disabled_flag u(1)  (...) }

Referring to Table 20, if the sps_transform_skip_enabled_flag is 1, thesh_ts_residual_coding_disabled_flag may be signaled, whereas if thesps_transform_skip_enabled_flag is 0, thesh_ts_residual_coding_disabled_flag may not be signaled. Here, forexample, the sps_transform_skip_enabled_flag may represent whether thetransform skip block is used. That is, for example, thesps_transform_skip_enabled_flag may represent whether the transform skipis enabled. For example, if the value of thesps_transform_skip_enabled_flag is 1, thesps_transform_skip_enabled_flag may represent that thetransform_skip_flag (transform_skip_flag) may be present in thetransform unit syntax, whereas if the value of thesps_transform_skip_enabled_flag is 0, thesps_transform_skip_enabled_flag may represent that thetransform_skip_flag is not present in the transform unit syntax.Meanwhile, if the sh_ts_residual_coding_disabled_flag is not signaled,it may be inferred that the sh_ts_residual_coding_disabled_flag is 0.Further, the above-described sps_transform_skip_enabled_flag may besignaled in the SPS, or may be signaled in other high-level syntaxes(VPS, PPS, picture header syntax, and slice header syntax) being not theSPS, or low-level syntaxes (slice data syntax, coding unit syntax, andtransform unit syntax). Further, it may be signaled prior to theslice_ts_residual_coding_disabled_flag.

Further, the present disclosure proposes an embodiment in which theabove-described embodiments are combined in relation to the signaling ofthe sh_ts_residual_coding_disabled_flag. For example, as in thefollowing table, an embodiment for signalling thesh_ts_residual_coding_disabled_flag may be proposed.

TABLE 21 slice header( ) { Descriptor  (...)   if(!ph dep quant enabledflag || sps   transform skip enabled flag)   slice_ts_residual_coding_disabled_flag u(1)  (...) }

Referring to Table 21, in case that the sps_transform_skip_enabled_flagis 1, or the ph_dep_quant_enabled_flag is 0, thesh_ts_residual_coding_disabled_flag may be signaled, and otherwise, thesh_ts_residual_coding_disabled_flag may not be signaled. Meanwhile, incase that the sh_ts_residual_coding_disabled_flag is not signaled, thesh_ts_residual_coding_disabled_flag may be inferred as 0.

Further, for example, an embodiment for signaling thesh_ts_residual_coding_disabled_flag as in the following table may beproposed.

TABLE 22 picture header structure( ) { Descriptor  (...)    ph dep quantenabled flag   if(!ph dep quant enabled flag && sps   transform skipenabled flag)    ph_ts_residual_coding_disabled_flag u(1)  (...) }

Referring to Table 22, the sh_ts_residual_coding_disabled_flag may besignaled to a picture header. The sh_ts_residual_coding_disabled_flagmay be represented as the ph_ts_residual_coding_disabled_flag. Further,referring to Table 22, the ph_dep_quant_enabled_flag may be signaled tothe picture header.

For example, referring to Table 22, in case that theph_dep_quant_enabled_flag is 0, and the sps_transform_skip_enabled_flagis 1, the ph_ts_residual_coding_disabled_flag may be signaled, andotherwise, the ph_ts_residual_coding_disabled_flag may not be signaled.Meanwhile, in case that the ph_ts_residual_coding_disabled_flag is notsignaled, the ph_ts_residual_coding_disabled_flag may be inferred as 0.

In the existing video/image coding standard in relation to syntaxelements described in the embodiments of the present disclosure, theph_dep_quant_enabled_flag may be signaled in the picture header syntax,and the sh_ts_residual_coding_disabled_flag may be signaled in the sliceheader syntax. In relation to this, the present disclosure proposes anembodiment for signaling two syntax elements in the same high-levelsyntax or low-level syntax.

For example, an embodiment may be proposed, in which both theph_dep_quant_enabled_flag and the sh_ts_residual_coding_disabled_flagare signaled in the picture header syntax. In this case, thesh_ts_residual_coding_disabled_flag may be called theph_ts_residual_coding_disabled_flag.

Further, for example, an embodiment may be proposed, in which both theph_dep_quant_enabled_flag and the sh_ts_residual_coding_disabled_flagare signaled in the slice header syntax. In this case, theph_dep_quant_enabled_flag may be called the sh_dep_quant_enabled_flag,sh_dep_quant_used_flag, or slice dep quant enabled flag.

Further, for example, an embodiment may be proposed, in which both theph_dep_quant_enabled_flag and the ph_ts_residual_coding_disabled_flagare signaled in the same HLS, but theph_ts_residual_coding_disabled_flag is signaled only in case that thevalue of the ph_dep_quant_enabled_flag is 0. For example, an example inwhich both the ph_dep_quant_enabled_flag and theph_ts_residual_coding_disabled_flag are signaled in the picture headersyntax may be as in the following table.

TABLE 23 picture header structure( ) { Descriptor  (...)   ph_dep_quant_enabled_flag   if(!ph dep quant enabled flag)   ph_ts_residual_coding_disabled_flag u(1)  (...) }

Referring to Table 23, the ph_dep_quant_enabled_flag may be signaled inthe picture header syntax, and if the value of theph_dep_quant_enabled_flag is 0, the ph_ts_residual_coding_disabled_flagmay be signaled in the picture header syntax, whereas if the value ofthe ph_dep_quant_enabled_flag is 1, theph_ts_residual_coding_disabled_flag may not be signaled. For example, ifthe ph_ts_residual_coding_disabled_flag is not signaled, theph_ts_residual_coding_disabled_flag may be inferred as 0.

Meanwhile, the above-described embodiment is an example, and an examplemay be proposed, in which the ph_dep_quant_enabled_flag and theph_ts_residual_coding_disabled_flag are signaled in other high-levelsyntaxes (VPS, SPS, PPS, and slice header syntax) or low-level syntaxes(slice data syntax, coding unit syntax, and transform unit syntax)rather than the picture header syntax.

Further, for example, an embodiment may be proposed, in which both theph_ts_residual_coding_disabled_flag and the ph_dep_quant_enabled_flagare signaled in the same HLS, but the ph_dep_quant_enabled_flag issignaled only in case that the value of theph_ts_residual_coding_disabled_flag is 0.

TABLE 24 picture header structure( ) { Descriptor  (...)  ph_ts_residual_coding_disabled_flag   if(!ph ts residual codingdisabled flag)    ph_dep_quant_enabled_flag u(1)  (...) }

Referring to Table 24, the ph_ts_residual_coding_disabled_flag may besignaled in the picture header syntax, and if the value of theph_ts_residual_coding_disabled_flag is 0, the ph_dep_quant_enabled_flagmay be signaled in the picture header syntax, whereas if the value ofthe ph_ts_residual_coding_disabled_flag is 1, theph_dep_quant_enabled_flag may not be signaled. For example, if theph_dep_quant_enabled_flag is not signaled, the ph_dep_quant_enabled_flagmay be inferred as 0.

Meanwhile, the above-described embodiment is an example, and an examplemay be proposed, in which the ph_ts_residual_coding_disabled_flag andthe ph_dep_quant_enabled_flag are signaled in other high-level syntaxes(VPS, SPS, PPS, and slice header syntax) or low-level syntaxes (slicedata syntax, coding unit syntax, and transform unit syntax) rather thanthe picture header syntax.

Further, for example, an embodiment in which the above-describedembodiments are combined with each other may be proposed. For example,an embodiment may be proposed, in which both theph_dep_quant_enabled_flag and the ph_ts_residual_coding_disabled_flagare signaled in the same HLS, but theph_ts_residual_coding_disabled_flag is signaled only in case that thevalue of the ph_dep_quant_enabled_flag is 0, or the value of thesps_transform_skip_enabled_flag is 1.

TABLE 25 picture header structure( ) { Descriptor  (...)   ph dep quantenabled flag  if(!ph dep quant enabled flag || sps  transform skipenabled flag)   ph_ts_residual_coding_disabled_flag u(1)  (...) }

Referring to Table 25, the ph_dep_quant_enabled_flag may be signaled inthe picture header syntax, and in case that the value of theph_dep_quant_enabled_flag is 0, or the value of thesps_transform_skip_enabled_flag is 1, theph_ts_residual_coding_disabled_flag may be signaled in the pictureheader syntax, and otherwise, the ph_ts_residual_coding_disabled_flagmay not be signaled. Here, for example, thesps_transform_skip_enabled_flag may represent whether the transform skipblock is used. That is, for example, the sps_transform_skip_enabled_flagmay represent whether the transform skip is enabled. For example, if thevalue of the sps_transform_skip_enabled_flag is 1, thesps_transform_skip_enabled_flag may represent that thetransform_skip_flag (transform_skip_flag) may be present in thetransform unit syntax, whereas if the value of thesps_transform_skip_enabled_flag is 0, thesps_transform_skip_enabled_flag may represent that thetransform_skip_flag is not present in the transform unit syntax. Forexample, if the ph_ts_residual_coding_disabled_flag is not signaled, theph_ts_residual_coding_disabled_flag may be inferred as 0.

Further, for example, an embodiment may be proposed, in which both theph_dep_quant_enabled_flag and the ph_ts_residual_coding_disabled_flagare signaled in the same HLS (e.g., slice header syntax or the like),but the ph_ts_residual_coding_disabled_flag is signaled only in casethat the value of the ph_dep_quant_enabled_flag is 0, and the value ofthe sps_transform_skip_enabled_flag is 1.

TABLE 26 picture header structure( ) { Descriptor  (...)  ph_dep_quant_enabled_flag  if(!ph dep quant enabled flag && sps transform skip enabled flag)   ph_ts_residual_coding_disabled_flag u(1) (...) }

Referring to Table 26, the ph_dep_quant_enabled_flag may be signaled inthe picture header syntax, and in case that the value of theph_dep_quant_enabled_flag is 0, and the value of thesps_transform_skip_enabled_flag is 1, theph_ts_residual_coding_disabled_flag may be signaled in the pictureheader syntax, and otherwise, the ph_ts_residual_coding_disabled_flagmay not be signaled. For example, if theph_ts_residual_coding_disabled_flag is not signaled, theph_ts_residual_coding_disabled_flag may be inferred as 0.

Further, for example, an embodiment may be proposed, in which both theph_dep_quant_enabled_flag and the ph_ts_residual_coding_disabled_flagare signaled in the same HLS, but theph_ts_residual_coding_disabled_flag is signaled only in case that thevalue of the sps_transform_skip_enabled_flag is 1, and theph_dep_quant_enabled_flag is signaled only in case that the value of theph_ts_residual_coding_disabled_flag is 0.

TABLE 27 picture header structure( ) { Descriptor  (...)   if(spstransform skip enabled flag)    ph_ts_residual_coding_disabled_flag if(!ph ts residual coding disabled flag)   ph dep quant enabled flagu(1)  (...) }

Referring to Table 27, if the value of thesps_transform_skip_enabled_flag is 1, theph_ts_residual_coding_disabled_flag may be signaled in the pictureheader syntax, whereas if the value of theph_ts_residual_coding_disabled_flag is 0, the ph_dep_quant_enabled_flagmay be signaled in the picture header syntax. For example, if the valueof the sps_transform_skip_enabled_flag is 0, theph_ts_residual_coding_disabled_flag may not be signaled. For example, ifthe ph_ts_residual_coding_disabled_flag is not signaled, theph_ts_residual_coding_disabled_flag may be inferred as 0. Further, forexample, if the value of the ph_ts_residual_coding_disabled_flag is 1,the ph_dep_quant_enabled_flag may not be signaled. For example, if theph_dep_quant_enabled_flag is not signaled, the ph_dep_quant_enabled_flagmay be inferred as 0,

Meanwhile, as described above, information (syntax elements) in a syntaxtable disclosed in the present disclosure may be included in image/videoinformation, configured/encoded by the encoding apparatus, andtransferred to the decoding apparatus in the form of a bitstream. Adecoding apparatus may parse/decode the information (syntax elements) inthe corresponding syntax table. The decoding apparatus may performblock/image/video reconstruction procedure based on the decodedinformation.

Further, the present disclosure proposes various embodiments related tosignaling of the above-described syntax elementsh_ts_residual_coding_disabled_flag.

For example, high coding efficiency can be obtained in a specificapplication (eg, lossless coding, etc.) by using theslice_ts_residual_coding_disabled_flag as described above, but in theexisting video/image coding standard, a constraint on the case whereslice_ts_residual_coding_disabled_flag is used together for sign datahiding (SDH) is not proposed.

Here, the sign data hiding method may be as follows. In deriving thetransform coefficient, the sign of the transform coefficient may bederived based on a 1-bit sign flag (the above-described syntax elementcoeff_sign_flag). In this regard, SDH may indicate a technique foromitting explicit signaling of coeff_sign_flag for a first significanttransform coefficient in a sub-block/coefficient group (CG) in order toimprove coding efficiency. Here, the value of coeff_sign_flag for thefirst significant transform coefficient may be derived based on the sumof absolute levels (ie, absolute values) of significant transformcoefficients in the corresponding sub-block/coefficient group. That is,the sign of the first significant transform coefficient may be derivedbased on the sum of absolute levels of the significant transformcoefficients in the corresponding sub-block/coefficient group.Meanwhile, the significant transform coefficient may mean a non-zerotransform coefficient whose (absolute) value is not 0. For example, whenthe sum of absolute levels for the significant transform coefficients iseven, the value of coeff_sign_flag for the first significant transformcoefficient may be derived as 1, and when the sum of absolute levels forthe significant transform coefficients is an odd, the value ofcoeff_sign_flag for the first significant transform coefficient may bederived as 0. In other words, for example, when the sum of absolutelevels for the significant transform coefficients is even, the value ofcoeff_sign_flag for the first significant transform coefficient may bederived as a negative value, and when the sum of absolute levels for thesignificant transform coefficients is an odd, the value ofcoeff_sign_flag for the first significant transform coefficient may bederived as a positive value. Or, for example, when the sum of absolutelevels for the significant transform coefficients is even, the value ofcoeff_sign_flag for the first significant transform coefficient may bederived as 0, and when the sum of absolute levels for the significanttransform coefficients is an odd, the value of coeff_sign_flag for thefirst significant transform coefficient may be derived as 1. In otherwords, for example, when the sum of absolute levels for the significanttransform coefficients is even, the value of coeff_sign_flag for thefirst significant transform coefficient may be derived as a positivevalue, and when the sum of absolute levels for the significant transformcoefficients is an odd, the value of coeff_sign_flag for the firstsignificant transform coefficient may be derived as a negative value.

For example, the SDH in the residual syntax may be as shown in thefollowing table.

TABLE 28 } signHiddenFlag = sh_sign_data_hiding_used_flag &&   (lastSigScanPosSb − firstSigScanPosSb > 3 ? 1 : 0 ) for( n = numSbCoeff -1; n >= 0; n− − ) {  xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ] [ log2SbH ][ n ][ 0 ]  yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW]  [ log2SbH ][ n ][ 1 ]  if( ( AbsLevel[ xC ][ yC ] > 0 ) &&   (!signHiddenFlag || (n != firstSigScanPosSb ) ) )   coeff_sign_flag[ n ]ae(v)

Referring to Table 28, the variable signHiddenFlag may indicate whetherthe SDH is applied. The variable signHiddenFlag may be calledsignHidden. For example, when a value of the variable signHiddenFlag is0, the variable signHiddenFlag may indicate that the SDH is not applied,and when the value of the variable signHiddenFlag is 1, the variablesignHiddenFlag may indicate that the SDH is applied. For example, thevalue of the variable signHiddenFlag may be set based on signaled flaginformation (eg, sh_sign_data_hiding_used_flag orpic_sign_data_hiding_enabled_flag or sps_sign_data_hiding_enabled_flag).Also, for example, the value of the variable signHiddenFlag may be setbased on lastSigScanPosSb and firstSigScanPosSb. Here, lastSigScanPosSbmay indicate a position of the last significant transform coefficientsearched in the corresponding sub-block/coefficient group according tothe scan order, and firstSigScanPosSb may indicate a position of thefirst significant transform coefficient searched in the correspondingsub-block/coefficient group according to the scan order. In general,lastSigScanPosSb may be located in a relatively high frequency componentregion than firstSigScanPosSb. Accordingly, whenlastSigScanPosSb−firstSigScanPosSb is greater than a predeterminedthreshold, the signHidden value may be derived as 1 (ie, SDH isapplied), otherwise, the signHidden value may be derived as 0 (ie, SDHis not applied). Here, for example, referring to Table 28, the thresholdmay be set to 3.

Meanwhile, when the sign data hiding is activated in high-level syntax(VPS, SPS, PPS, slice header syntax, etc.) or low-level syntax (slicedata syntax, coding unit syntax, transform unit syntax, etc.), and theslice_ts_residual_coding_disabled_flag is 1, the sign data hidingprocess of RRC can be used in lossless coding. Accordingly, losslesscoding may become impossible due to incorrect settings in the encodingapparatus. Alternatively, when loss coding (ie, an irreversible codingmethod) other than lossless coding is applied, and a residual signal towhich transform skip is applied is coded with RRC and BDPCM is appliedat the same time, although the interval in which the residual valuebecomes 0 occurs more frequently than in the general case due to thedifference between the residuals in BDPCM, coding loss may occur becauseSDH is performed in accordance with the SDH application condition.Specifically, for example, when significant transform coefficients(non-zero residual data) exist at positions 0 and 15 in the CG,respectively, and the value of the transform coefficients at theremaining positions in the CG is 0, SDH may be applied to the CGaccording to the above-described SDH application condition, and thus,sign data (ie, coding of a sign flag) for the first significanttransform coefficient of the CG may be omitted. Accordingly, in thiscase, the parity of only two residual data of the CG may be adjusted inthe quantization step to omit the sign data, and rather than the casewhere SDH is not applied, more coding loss may occur. Such a case mayoccur even in blocks to which BDPCM is not applied, but due to thecharacteristics of BDPCM, the level is lowered through the differencewith the neighboring residual, so disadvantageous cases may occur morefrequently in applying SDH.

Therefore, in order to prevent SDH and residual coding ofslice_ts_residual_coding_disabled_flag=1 (that is, coding the residualsamples of the transform skip block in the current slice with RRC) frombeing used together to cause unintended coding loss or malfunction, thepresent disclosure proposes an embodiment for settingdependency/constraint between two technologies.

For example, the present disclosure proposes a method in whichslice_ts_residual_coding_disabled_flag is dependent onpic_sign_data_hiding_enabled_flag. The residual coding syntax accordingto the present embodiment may be as shown in the following table.

TABLE 29 De- scrip- slice header( ) { tor   picture header in sliceheader flag u(1)   if( picture header in slice header flag )     pictureheader structure( )  (...)   if(!pic sign data hiding enabled flag)   slice ts residual coding disabled flag u(1)    if( ph imcs enabledflag )     slice lmcs enabled flag u(1)    if( pic scaling list enabledflag )     slice scaling list present flag u(1)    if( NumEntryPoints >0 ) {     offset len minus1 ue(v)     for( i = 0; i < NumEntryPoints;i++ )      entry point offset minus1 [ i ] u(v)  }  if( slice headerextension present flag ) {     slice_header_extension_length ue(v)    for( i = 0; i < slice header extension     length; i++)     slice_header_extension_data_byte[ i ] u(8)  }  byte alignment( ) }

Here, slice_ts_residual_coding_disabled_flag may be signaled as a sliceheader syntax, or a High Level Syntax (HLS) other than the slice headersyntax (eg, SPS syntax/VPS syntax/DPS syntax, etc.), or low level(CU/TU). In addition, pic_sign_data_hiding_enabled_flag may be signaledin picture header syntax, or other high-level syntax (HLS) other thanthe picture header syntax (eg, SPS syntax/VPS syntax/DPS syntax, etc.),or low-level (CU/TU). For example, whenpic_sign_data_hiding_enabled_flag is signaled in a syntax other than thepicture header syntax, it may be called another name. For example, thepic_sign_data_hiding_enabled_flag may be represented bysps_sign_data_hiding_enabled_flag.

Also, sps_sign_data_hiding_enabled_flag may be a flag indicating whethersign data hiding is enabled. That is, for example,sps_sign_data_hiding_enabled_flag may indicate whether the sign datahiding is enabled. For example, when the value ofsps_sign_data_hiding_enabled_flag is 1,sps_sign_data_hiding_enabled_flag may indicate that the sign data hidingis enabled, and when the value of sps_sign_data_hiding_enabled_flag is0, sps_sign_data_hiding_enabled_flag may indicate that the sign datahiding is not enabled.

According to Table 29 disclosing the present embodiment,slice_ts_residual_coding_disabled_flag may be signaled only when signdata hiding is not enabled. In addition, when sign data hiding isenabled, slice_ts_residual_coding_disabled_flag may not be signaled, avalue of slice_ts_residual_coding_disabled_flag may be inferred as 0(coding the residual sample of the transform skip block in the currentslice with TSRC syntax) or 1 (coding the residual sample of thetransform skip block in the current slice with RRC syntax).

Further, the present disclosure proposes an embodiment in which theabove-described embodiments are combined with respect to signaling ofsh_ts_residual_coding_disabled_flag. For example, an embodimentsignaling sh_ts_residual_coding_disabled_flag may be proposed as shownin the following table.

TABLE 30 slice header( ) { Descriptor   picture header in slice headerflag u(1)   if( picture header in slice header flag )    picture headerstructure( )  (...)  if(sps_transform_skip_enabled_flag && !ph_dep_quant_enabled_flag && !pic sign  data hiding enabled flag)  slice_ts_residual_coding_disabled_flag u(1)   if( ph lmcs enabled flag)    slice_lmcs_enabled_flag u(1)   if( pic scaling list enabled flag )   slice_scaling_list_present_flag u(1)   if( NumEntryPoints > 0 ) {   offset_len_minus1 ue(v)    for( i = 0; i < NumEntryPoints; i++ )    entry_point_offset_minus1[ i ] u(v)  }  if( slice header extensionpresent flag ) {    slice_header_extension_length ue(v)    for( i = 0; i< slice header extension    length; i++)     slice header extension databyte[ i ] u(8)  }  byte alignment( ) }

Referring to Table 30, when sps_transform_skip_enabled_flag is 1,ph_dep_quant_enabled_flag is 0, and pic_sign_data_hiding_enabled_flag is0, sh_ts_residual_coding_disabled_disable_flag may be signaled, andotherwise, sh_ts_residual_coding_disabled_disable_flag may not besignaled. On the other hand, when sh_ts_residual_coding_disabled_flag isnot signaled, sh_ts_residual_coding_disabled_flag may be inferred as 0.

Meanwhile, the embodiment of Table 31 is an example, and an example inwhich ph_dep_quant_enabled_flag, pic_sign_data_hiding_enabled_flag, andph_ts_residual_coding_disabled_flag are all signaled in the same HLS(eg, slice header syntax, etc.) may be proposed.

Alternatively, for example, an embodiment of signalingsh_ts_residual_coding_disabled_flag as shown in the following table maybe proposed.

TABLE 31 Descrip- slice header( ) { tor   picture header in slice headerflag u(1)   if( picture header in slice header flag )    picture headerstructured  (...)  if(!ph dep quant enabled flag && !pic sign  datahiding enabled flag)   slice_ts_residual_coding_disabled_flag u(1)   if(ph lmcs enabled flag )    slice_lmcs_enabled_flag u(1)   if( pic scalinglist enabled flag )    slice_scaling_list_present_flag u(1)   if(NumEntryPoints > 0 ) {    offset_len_minus1 ue(v)    for( i = 0; i <NumEntryPoints; i++ )     entry_point_offset_minus1[ i] u(v)  }  if(slice header extension present flag ) {    slice_header_extension_lengthue(v)    for( i = 0; i < slice header extension    length; i++)    slice_header_extension_data_byte[ i ] u(8)  }  byte alignment( ) }

Referring to Table 31, when ph_dep_quant_enabled_flag is 0 andpic_sign_data_hiding_enabled_flag is 0,sh_ts_residual_coding_disabled_flag may be signaled, and otherwise,sh_ts_residual_coding_disabled_flag may not be signaled. On the otherhand, when sh_ts_residual_coding_disabled_flag is not signaled,sh_ts_residual_coding_disabled_flag may be inferred as 0.

Meanwhile, the embodiment of Table 31 is an example, and an example inwhich ph_dep_quant_enabled_flag, pic_sign_data_hiding_enabled_flag, andph_ts_residual_coding_disabled_flag are all signaled in the same HLS(eg, slice header syntax, etc.) may be proposed.

Alternatively, for example, an embodiment of signalingsh_ts_residual_coding_disabled_flag as shown in the following table maybe proposed.

TABLE 32 Descrip- slice header( ) { tor  picture_header_in_slice_header_flag u(1)   if( picture header in sliceheader flag )    picture header structure( )  (...)  if(!ph dep quantenabled flag || !pic sign data  hiding enabled flag)  slice_ts_residual_coding_disabled_flag u(1)   if( ph lmcs enabled flag)    slice_lmcs_enabled_flag u(1)   if( pic scaling list enabled flag )   slice_scaling_list_present_flag u(1)   if( NumEntryPoints > 0 ) {   offset_len_minus1 ue(v) for( i = 0; i < NumEntryPoints; i++ )    entry_point_offset_minus1[ i ] u(v)   }   if( slice header extensionpresent flag ) {    slice_header_extension_length ue(v)    for( i = 0; i< slice header extension    length; i++)    slice_header_extension_data_byte[ i ] u(8)   }   byte alignment( ) }

Referring to Table 32, when ph_dep_quant_enabled_flag is 0 orpic_sign_data_hiding_enabled_flag is 0,sh_ts_residual_coding_disabled_flag may be signaled, and otherwise,sh_ts_residual_coding_disabled_flag may not be signaled. On the otherhand, when sh_ts_residual_coding_disabled_flag is not signaled,sh_ts_residual_coding_disabled_flag may be inferred as 0.

In addition, the present disclosure proposes an embodiment in which theabove-described syntax elements ph_dep_quant_enabled_flag,pic_sign_data_hiding_enabled_flag andslice_ts_residual_coding_disabled_flag are signaled in the samehigh-level syntax or low-level syntax.

For example, an embodiment in which ph_dep_quant_enabled_flag,pic_sign_data_hiding_enabled_flag, andslice_ts_residual_coding_disabled_flag are all signaled in the pictureheader syntax may be proposed as shown in the following table.

TABLE 33 picture header structure!) { Descriptor  (...)   ph ts residualcoding disabled flag u(1)  if(!ph ts residual coding disabled flag){   if(sps dep quant enabled flag)   ph dep quant enabled flag u(1)    if(sps sign data hiding enabled flag &&    !ph dep quant enabled flag)    pic sign data hiding enabled flag u(1)   }  (...) }

In this case, slice_ts_residual_coding_disabled_flag may be referred toas ph_ts_residual_coding_disabled_flag.

Referring to Table 33, ph_ts_residual_coding_disabled_flag may besignaled in the picture header syntax, and when a value ofph_ts_residual_coding_disabled_flag is 0, if a value ofsps_dep_quant_enabled_flag is 1, ph_dep_quant_enabled_flag may besignaled in the picture header syntax. In addition, when the value ofph_ts_residual_coding_disabled_flag is 0, if the value ofsps_sign_data_hiding_enabled_flag is 1 and ph_dep_quant_enabled_flag is0, pic_sign_data_hiding_enabled_flag may be signaled in the pictureheader syntax. Meanwhile, for example, when the value ofph_ts_residual_coding_disabled_flag is 1, ph_dep_quant_enabled_flag andpic_sign_data_hiding_enabled_flag may not be signaled.

Alternatively, for example, an embodiment in whichph_dep_quant_enabled_flag, pic_sign_data_hiding_enabled_flag, andslice_ts_residual_coding_disabled_flag are all signaled in the pictureheader syntax as shown in the following table may be proposed.

TABLE 34 picture header structure( ) { Descriptor  (...)   if(spstransform skip enabled flag)    ph ts residual coding disabled flag u(1)  if(!ph ts residual coding disabled flag){    if (sps dep quant enabledflag)     ph dep quant enabled flag u(1)    if (sps sign data hidingenabled flag &&    !ph dep quant enabled flag)    pic_sign_data_hiding_enabled_flag u(1)   }  (...) }

Referring to Table 34, when the value of sps_transform_skip_enabled_flagis 1, ph_ts_residual_coding_disabled_flag may be signaled in the pictureheader syntax. Also, for example, when the value ofsps_transform_skip_enabled_flag is 0,ph_ts_residual_coding_disabled_flag may not be signaled. Whenph_ts_residual_coding_disabled_flag is not signaled,ph_ts_residual_coding_disabled_flag may be inferred as 0 in the decodingapparatus.

Also, referring to Table 34, when the value ofph_ts_residual_coding_disabled_flag is 0 and the value ofsps_dep_quant_enabled_flag is 1, ph_dep_quant_enabled_flag may besignaled in the picture header syntax. In addition, when the value ofph_ts_residual_coding_disabled_flag is 0, if the value ofsps_sign_data_hiding_enabled_flag is 1 and ph_dep_quant_enabled_flag is0, pic_sign_data_hiding_enabled_flag may be signaled in the pictureheader syntax. Meanwhile, for example, when the value ofph_ts_residual_coding_disabled_flag is 1, ph_dep_quant_enabled_flag andpic_sign_data_hiding_enabled_flag may not be signaled. Also, forexample, when ph_dep_quant_enabled_flag is not signaled,ph_dep_quant_enabled_flag may be inferred as 0 in the decodingapparatus. Also, for example, when pic_sign_data_hiding_enabled_flag isnot signaled, pic_sign_data_hiding_enabled_flag may be inferred as 0 inthe decoding apparatus.

Meanwhile, the above-described embodiments are examples, an example inwhich ph_ts_residual_coding_disabled_flag, ph_dep_quant_enabled_flag andpic_sign_data_hiding_enabled_flag are signaled in a high-level syntax(VPS, SPS, PPS, slice header syntax, etc.) or low-level syntax (slicedata syntax, coding unit syntax, etc.) other than the picture headersyntax may be proposed.

Meanwhile, as described above, information (syntax element) in thesyntax table disclosed in the present disclosure may be included in theimage/video information, and may be configured/encoded in the encodingapparatus and transmitted to the decoding apparatus in the form of abitstream. The decoding apparatus may parse/decode information (syntaxelement) in the corresponding syntax table. The decoding apparatus mayperform a block/image/video reconstruction process based on the decodedinformation.

FIG. 8 briefly illustrates an image encoding method performed by anencoding apparatus according to the present disclosure. The methoddisclosed in FIG. 8 may be performed by the encoding apparatus disclosedin FIG. 2 . Specifically, for example, S800 to S830 of FIG. 8 may beperformed by the entropy encoder of the encoding apparatus. Further,although not illustrated, a process of deriving a prediction sample maybe performed by the predictor of the encoding apparatus, a process ofderiving a residual sample for the current block based on the originalsample and the prediction sample for the current block may be performedby the subtractor of the encoding apparatus, and a process of generatinga reconstructed sample and a reconstructed picture for the current blockbased on the residual sample and the prediction sample for the currentblock may be performed by the adder of the encoding apparatus.

The encoding apparatus encodes a sign data hiding enabled flag forwhether sign data hiding is enabled (S800). The encoding apparatus mayencode a sign data hiding enabled flag for whether sign data hiding isenabled. The image information may include the sign data hiding enabledflag. For example, the encoding apparatus may determine whether the signdata hiding is enabled for blocks of pictures in a sequence, and mayencode the sign data hiding enabled flag for whether the sign datahiding is enabled. For example, the sign data hiding enabled flag may bea flag for whether the sign data hiding is enabled. For example, thesign data hiding enabled flag may represent whether the sign data hidingis enabled. That is, for example, the sign data hiding enabled flag mayrepresent whether the sign data hiding is enabled for blocks of picturesin a sequence. For example, the sign data hiding enabled flag mayrepresent whether a sign data hiding used flag representing whether thesign data hiding is used for a current slice may be present. Forexample, the sign data hiding enabled flag having a value of 1 mayrepresent that the sign data hiding is enabled, and the sign data hidingenabled flag having a value of 0 may represent that the sign data hidingis not enabled. For example, the sign data hiding enabled flag having avalue of 1 may represent that the sign data hiding used flag may bepresent, and the sign data hiding enabled flag having a value of 0 mayrepresent that the sign data hiding used flag is not present. Also, forexample, the sign data hiding enabled flag may be signaled in an SPSsyntax. Alternatively, for example, the sign data hiding enabled flagmay be signaled in a picture header syntax or a slice header syntax. Thesyntax element of the sign data hiding enabled flag may be thesps_sign_data_hiding_enabled_flag.

The encoding apparatus encodes a transform skip residual coding (TSRC)enabled flag for whether TSRC is enabled based on the sign data hidingenabled flag (S810). The image information may include the TSRC enabledflag.

For example, the encoding apparatus may encode the TSRC enabled flagbased on the sign data hiding enabled flag. For example, the TSRCenabled flag may be encoded based on the sign data hiding enabled flaghaving a value of 0. That is, for example, when a value of the sign datahiding enabled flag is 0 (that is, the sign data hiding enabled flagrepresents that the sign data hiding is not enabled), the TSRC enabledflag may be encoded. In other words, for example, when a value of thesign data hiding enabled flag is 0 (that is, the sign data hidingenabled flag represents that the sign data hiding is not enabled), theTSRC enabled flag may be signaled. Also, for example, when the value ofthe sign data hiding enabled flag is 1, the TSRC enabled flag may not beencoded, and a value of the TSRC enabled flag may be derived as 0 in thedecoding apparatus. That is, for example, when the value of the signdata hiding enabled flag is 1, the TSRC enabled flag may not besignaled, and a value of the TSRC enabled flag may be derived as 0 inthe decoding apparatus.

Here, for example, the TSRC enabled flag may be a flag for whether theTSRC is enabled. That is, for example, the TSRC enabled flag may a flagrepresenting whether the TSRC is enabled for blocks in a slice. Forexample, the TSRC enabled flag having a value of 1 may represent thatthe TSRC is not enabled, and the TSRC enabled flag having a value of 0may represent that the TSRC is enabled. Also, for example, the TSRCenabled flag may be signaled in a slice header syntax. The syntaxelement of the TSRC enabled flag may be the above-describedsh_ts_residual_coding_disabled_flag.

Meanwhile, for example, the encoding apparatus may determine whether thedependent quantization is enabled for blocks of pictures in a sequence,and may encode the dependent quantization enabled flag for whether thedependent quantization is enabled. The image information may include thedependent quantization enabled flag. For example, the dependentquantization enabled flag may be a flag for whether the dependentquantization is enabled. For example, the dependent quantization enabledflag may represent whether the dependent quantization is enabled. Thatis, for example, the dependent quantization enabled flag may representwhether the dependent quantization is enabled for blocks of pictures ina sequence. For example, the dependent quantization enabled flag mayrepresent whether a dependent quantization used flag representingwhether the dependent quantization is used for a current slice may bepresent. For example, the dependent quantization enabled flag having avalue of 1 may represent that the dependent quantization is enabled, andthe dependent quantization enabled flag having a value of 0 mayrepresent that the dependent quantization is not enabled. Also, forexample, the dependent quantization enabled flag may be signaled in anSPS syntax or a slice header syntax. The syntax element of the dependentquantization enabled flag may be the above-describedsps_dep_quant_enabled_flag. The sps_dep_quant_enabled_flag may bereferred to as sh_dep_quant_enabled_flag, sh_dep_quant_used_flag, orph_dep_quant_enabled_flag.

Further, for example, the encoding apparatus may encode the transformskip enabled flag for whether the transform skip is enabled. Imageinformation may include the transform skip enabled flag. For example,the encoding apparatus may determine whether the transform skip isenabled for blocks of pictures in a sequence, and may encode thetransform skip enabled flag for whether the transform skip is enabled.For example, the transform skip enabled flag may be a flag for whetherthe transform skip is enabled. For example, the transform skip enabledflag may represent whether the transform skip is enabled. That is, forexample, the transform skip enabled flag may represent whether thetransform skip is enabled for the blocks of the pictures in thesequence. For example, the transform skip enabled flag may representwhether the transform skip flag can be present. For example, thetransform skip enabled flag having the value of 1 may represent that thetransform skip is enabled, and the transform skip enabled flag havingthe value of 0 may represent that the transform skip is not enabled.That is, for example, the transform skip enabled flag having the valueof 1 may represent that the transform_skip_flag can be present, and thetransform skip enabled flag having the value of 0 may represent that thetransform_skip_flag is not present. Further, for example, the transformskip enabled flag may be signaled to a sequence parameter set (SPS)syntax. The syntax element of the transform skip enabled flag may be theabove-described sps_transform_skip_enabled_flag.

Further, for example, the TSRC enabled flag may be encoded based on thesign data hiding enabled flag, the dependent quantization enabled flag,and/or the transform skip enabled flag. For example, the TSRC enabledflag may be encoded based on the sign data hiding enabled flag having avalue of 0, the dependent quantization enabled flag having a value of 0,and the transform skip enabled flag having a value of 1. That is, forexample, when a value of the sign data hiding enabled flag is 0 (thatis, the sign data hiding enabled flag represents that sign data hidingis not enabled), a value of the dependent quantization enabled flag is 0(that is, the dependent quantization enabled flag represents thatdependent quantization is not enabled), and a value of the transformskip enabled flag is 1 (that is, the transform skip enabled flagrepresents that transform skip is enabled), the TSRC The enabled flagmay be encoded (or signaled). Also, for example, when the value of thedependent quantization enabled flag is 1, the TSRC enabled flag may notbe encoded, and the value of the TSRC enabled flag may be derived as 0in the decoding apparatus. That is, for example, when the value of thedependent quantization enabled flag is 1, the TSRC enabled flag may notbe signaled, and the value of the TSRC enabled flag may be derived as 0in the decoding apparatus. Also, for example, when the value of thetransform skip enabled flag is 0, the TSRC enabled flag may not beencoded, and the value of the TSRC enabled flag may be derived as 0.That is, for example, when the value of the transform skip enabled flagis 0, the TSRC enabled flag may not be signaled, and the value of theTSRC enabled flag may be derived as 0.

The encoding apparatus encodes residual information for a current blockbased on the TSRC enabled flag (S820). The encoding apparatus may encoderesidual information for a current block based on the TSRC enabled flag.

For example, the encoding apparatus may determine a residual codingsyntax for the current block based on the TSRC enabled flag. Forexample, the encoding apparatus may determine the residual coding syntaxfor the current block as one of a regular residual coding (RRC) syntaxand a transform skip residual coding (TSRC) syntax based on the TSRCenabled flag. The RRC syntax may represent a syntax according to RRC,and the TSRC syntax may represent a syntax according to the TSRC.

For example, based on the TSRC enabled flag having the value of 1, theresidual coding syntax for the current block may be determined as theregular residual coding (RRC) syntax. In this case, for example, thetransform skip flag for whether the current block is the transform skipblock may be encoded, and the value of the transform skip flag may be 1.For example, the image information may include the transform skip flagfor the current block. The transform skip flag may represent whether thecurrent block is the transform skip block. That is, the transform skipflag may represent whether the transform has been applied to thetransform coefficients of the current block. The syntax elementrepresenting the transform skip flag may be the transform skip flag asdescribed above. For example, if the value of the transform skip flag is1, the transform skip flag may represent that the transform has not beenapplied to the current block (i.e., transform skipped), whereas if thevalue of the transform skip flag is 0, the transform skip flag mayrepresent that the transform has been applied to the current block. Forexample, if the current block is the transform skip block, the value ofthe transform skip flag for the current block may be 1.

Further, for example, based on the TSRC enabled flag having the value of0, the residual coding syntax for the current block may be determined asthe transform skip residual coding (TSRC) syntax. Further, for example,the transform skip flag for whether the current block is the transformskip block may be encoded, and based on the transform skip flag havingthe value of 1 and the TSRC enabled flag having the value of 0, theresidual coding syntax for the current block may be determined as thetransform skip residual coding (TSRC) syntax. Further, for example, thetransform skip flag for whether the current block is the transform skipblock may be encoded, and based on the transform skip flag having thevalue of 0 and the TSRC enabled flag having the value of 0, the residualcoding syntax for the current block may be determined as the regularresidual coding (RRC) syntax.

Thereafter, for example, the encoding apparatus may encode the residualinformation of the determined residual coding syntax for the currentblock. The encoding apparatus may derive a residual sample for thecurrent block, and may encode residual information of the determinedresidual coding syntax for the residual sample of the current block. Forexample, residual information of the regular residual coding (RRC)syntax may be encoded based on the TSRC enabled flag having the value of1, and residual information of the TSRC syntax may be encoded based onthe TSRC enabled flag having the value of 0. The image information mayinclude the residual information.

For example, the encoding apparatus may determine whether to performinter prediction or intra prediction on the current block, and maydetermine a specific inter prediction mode or a specific intraprediction mode based on the RD cost. According to the determined mode,the encoding apparatus may derive prediction samples for the currentblock, and may derive residual samples for the current block bysubtracting the prediction samples from the original samples for thecurrent block.

Then, for example, the encoding apparatus may derive the transformcoefficients of the current block based on the residual samples. Forexample, the encoding apparatus may determine whether the transform isapplied for the current block. That is, the encoding apparatus maydetermine whether the transform is applied for the residual samples ofthe current block. The encoding apparatus may determine whether thetransform is applied for the current block in consideration of thecoding efficiency. For example, the encoding apparatus may determinethat the transform is not applied for the current block. The block towhich the transform is not applied may be represented as the transformskip block. That is, for example, the current block may be the transformskip block.

If the transform is not applied for the current block, that is, if thetransform is not applied for the residual samples, the encodingapparatus may derive the derived residual samples as the currenttransform coefficients. Further, if the transform is applied for thecurrent block, that is, if the transform is applied for the residualsamples, the encoding apparatus may derive the transform coefficients byperforming the transform for the residual samples. The current block mayinclude a plurality of subblocks or coefficient groups (CGs). Further,the size of the subblock of the current block may be a 4×4 size or a 2×2size. That is, the subblock of the current block may maximally include16 non-zero transform coefficients or 4 non-zero transform coefficients.Here, the current block may be the coding block (CB) or the transformblock (TB). Further, the transform coefficient may be represented as theresidual coefficient.

Meanwhile, the encoding apparatus may determine whether the dependentquantization is applied for the current block. For example, if thedependent quantization is applied for the current block, the encodingapparatus may derive the transform coefficients of the current block byperforming the dependent quantization process for the transformcoefficients. For example, if the dependent quantization is applied forthe current block, the encoding apparatus may update the state (Qstate)for the dependent quantization based on the coefficient level of thetransform coefficient just before the current transform coefficient inthe scanning order, may derive the coefficient level of the currenttransform coefficient based on the updated state and the syntax elementsfor the current transform coefficient, and may derive the currenttransform coefficient by quantizing the derived coefficient level. Forexample, the current transform coefficient may be quantized based on thequantization parameter for the reconstructed level of the currenttransform coefficient in a scalar quantizer for the updated state.

For example, if the residual coding syntax for the current block isdetermined as the RRC syntax, the encoding apparatus may encode theresidual information of the RRC syntax for the current block. Forexample, the residual information of the RRC syntax may include thesyntax elements disclosed in Table 2 as described above.

For example, the residual information of the RRC syntax may include thesyntax elements for the transform coefficient of the current block.Here, the transform coefficient may be represented as the residualcoefficient.

For example, the syntax elements may include syntax elements, such aslast_sig_coeff_x_prefix, last_sig_coeff_y_prefix,last_sig_coeff_x_suffix, last_sig_coeff_y_suffix, sb_coded_flag,sig_coeff_flag, par_level_flag, abs_level_gtX_flag (e.g.,abs_level_gtx_flag[n][0] and/or abs_level_gtx_flag[n][1]),abs_remainder, dec_abs_level, and/or coeff_sign_flag.

Specifically, for example, the syntax elements may include positioninformation representing the position of the last non-zero transformcoefficient in a residual coefficient array of the current block. Thatis, the syntax elements may include the position informationrepresenting the position of the last non-zero transform coefficient inthe scanning order of the current block. The position information mayinclude information representing a prefix in a column position of thelast non-zero transform coefficient, information representing a prefixin a row position of the last non-zero transform coefficient,information representing a suffix of the column position of the lastnon-zero transform coefficient, and information representing a suffix inthe row position of the last non-zero transform coefficient. The syntaxelements for the position information may be last_sig_coeff_x_prefix,last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, andlast_sig_coeff_y_suffix. Meanwhile, the non-zero transform coefficientmay be called a significant coefficient.

Further, for example, the syntax elements may include a coded subblockflag representing whether the current subblock of the current blockincludes the non-zero transform coefficient, a significant coefficientflag representing whether the transform coefficient of the current blockis the non-zero transform coefficient, a first coefficient level flagfor whether the coefficient level for the transform coefficient islarger than a first threshold value, a parity level flag for a parity ofthe coefficient level, and/or a second coefficient level flag forwhether the coefficient level of the transform coefficient is largerthan a second threshold value. Here, the coded subblock flag may be thesb_coded_flag or coded_sub_block_flag, the significant coefficient flagmay be the sig_coeff_flag, the first coefficient level flag may be theabs_level_gt1_flag or the abs_level_gtx_flag, the parity level flag maybe the par_level_flag, and the second coefficient level flag may be theabs_level_gt3_flag or the abs_level_gtx_flag.

Further, for example, the syntax elements may include coefficient valuerelated information for the transform coefficient value of the currentblock. The coefficient value related information may be an abs_remainderand/or a dec_abs_level.

Further, for example, the syntax elements may include a sign flagrepresenting the sign of the transform coefficient. The sign flag may bethe coeff_sign_flag.

Meanwhile, for example, when the sign data hiding is applied to thecurrent block, a sign flag of a first significant transform coefficientof a current coefficient group (CG) in the current block may be notencoded and signaled. That is, for example, when the sign data hiding isapplied to the current block, the syntax elements may not include a signflag representing a sign of the first significant transform coefficient.Meanwhile, for example, whether the sign data hiding is applied to thecurrent block may be derived based on the sign data hiding enabled flagand/or a position of the first significant transform coefficient and aposition of the last significant transform coefficient of the currentCG. For example, when a value of the sign data hiding enabled flag is 1,and a value obtained by subtracting the position of the firstsignificant transform coefficient from the position of the lastsignificant transform coefficient is greater than 3, (that is, when avalue of the sign data hiding enabled flag is 1, and a number ofsignificant transform coefficients in the current CG is greater than 3),the sign data hiding may be applied to the current CG of the currentblock.

Further, for example, if the residual coding syntax for the currentblock is determined as the TSRC syntax, the encoding apparatus mayencode the residual information of the TSRC syntax for the currentblock. For example, the residual information of the TSRC syntax mayinclude the syntax elements disclosed in Table 3 as described above.

For example, the residual information of the TSRC syntax may include thesyntax elements for the transform coefficient of the current block.Here, the transform coefficient may be represented as the residualcoefficient.

For example, the syntax elements may include context-coded syntaxelements for the transform coefficient and/or bypass-coded syntaxelements. The syntax elements may include the syntax elements, such assig_coeff_flag, coeff_sign_flag, par_level_flag, abs_level_gtX_flag(e.g., abs_level_gtx_flag[n][0], abs_level_gtx_flag[n][1],abs_level_gtx_flag[n][2], abs_level_gtx_flag[n][3], and/orabs_level_gtx_flag[n][4]), abs_remainder, and/or coeff_sign_flag.

For example, the context-coded syntax elements for the transformcoefficient may include a significant coefficient flag representingwhether the transform coefficient is the non-zero transform coefficient,a sign flag representing the sign for the transform coefficient, a firstcoefficient level flag for whether the coefficient level for thetransform coefficient is larger than a first threshold value, and/or aparity level flag for the parity of the transform level for thetransform coefficient. Further, for example, the context-coded syntaxelements may include a second coefficient level flag for whether thecoefficient level of the transform coefficient Further, for example, thecontext-coded syntax elements may include a second coefficient levelflag for whether the coefficient level of the transform coefficient islarger than a second threshold value, a third coefficient level flag forwhether the coefficient level of the transform coefficient is largerthan a third threshold value, a fourth coefficient level flag forwhether the coefficient level of the transform coefficient is largerthan a fourth threshold value, and/or a fifth coefficient level flag forwhether the coefficient level of the transform coefficient is largerthan a fifth threshold value. Here, the significant coefficient flag maybe the sig_coeff_flag, the sign flag may be the ceff_sign_flag, thefirst coefficient level flag may be the abs_level_gt1_flag, and theparity level flag may be the par_level_flag. Further, the secondcoefficient level flag may be the abs_level_gt3_flag or theabs_level_gtx_flag, the third coefficient level flag may be theabs_level_gt5_flag or the abs_level_gtx_flag, the fourth coefficientlevel flag may be the abs_level_gt7_flag or the abs_level_gtx_flag, andthe fifth coefficient level flag may be the abs_level_gt9_flag or theabs_level_gtx_flag.

Further, for example, the bypass-coded syntax elements for the transformcoefficient may include coefficient level information for the value ofthe transform coefficient (or coefficient level) and/or a sign flagrepresenting the sign for the transform coefficient. The coefficientlevel information may be the abs_remainder and/or the dec_abs_level, andthe sign flag may be the ceff_sign_flag.

The encoding apparatus generates a bitstream including the sign datahiding enabled flag, the TSRC enabled flag and the residual information(S830). For example, the encoding apparatus may output image informationincluding the sign data hiding enabled flag, the TSRC enabled flag andthe residual information as the bitstream. The bitstream may include thesign data hiding enabled flag, the TSRC enabled flag and the residualinformation. Also, the bitstream may further include the dependentquantization enabled flag and/or the transform skip enabled flag.

Meanwhile, the image information may include prediction relatedinformation for the current block. The prediction related informationmay include prediction mode information for an inter prediction mode oran intra prediction mode performed on the current block.

Meanwhile, the bitstream may be transmitted to the decoding apparatusthrough a network or a (digital) storage medium. Here, the network mayinclude a broadcasting network and/or a communication network, and thedigital storage medium may include various storage media, such as USB,SD, CD, DVD, Blu-ray, HDD, and SSD.

FIG. 9 briefly illustrates an encoding apparatus for performing an imageencoding method according to the present disclosure. The methoddisclosed in FIG. 8 may be performed by the encoding apparatus disclosedin FIG. 9 . Specifically, for example, the entropy encoder of theencoding apparatus of FIG. 9 may perform S800 to S830 of FIG. 8 .Further, although not illustrated, a process of deriving a predictionsample may be performed by the predictor of the encoding apparatus, aprocess of a residual sample for the current block based on the originalsample and the prediction sample for the current block may be performedby the subtractor of the encoding apparatus, and a process of generatinga reconstructed sample and a reconstructed picture for the current blockbased on the residual sample and the prediction sample for the currentblock may be performed by the adder of the encoding apparatus.

FIG. 10 briefly illustrates an image decoding method performed by adecoding apparatus according to the present disclosure. The methoddisclosed in FIG. 10 may be performed by the decoding apparatusdisclosed in FIG. 3 . Specifically, for example, S1000 to S1020 of FIG.10 may be performed by the entropy decoder of the decoding apparatus,S1030 of FIG. 10 may be performed by the residual processor of thedecoding apparatus, and S1040 may be performed by the adder of thedecoding apparatus. Further, although not illustrated, a process ofreceiving prediction information for the current block may be performedby the entropy decoder of the decoding apparatus, and a process ofderiving a prediction sample of the current block may be performed bythe predictor of the decoding apparatus.

The decoding apparatus obtains a sign data hiding enabled flag (S1000).The decoding apparatus may obtain image information including the signdata hiding enabled flag through a bitstream. The image information mayinclude the sign data hiding enabled flag. For example, the sign datahiding enabled flag may be a flag for whether the sign data hiding isenabled. For example, the sign data hiding enabled flag may representwhether the sign data hiding is enabled. That is, for example, the signdata hiding enabled flag may represent whether the sign data hiding isenabled for blocks of pictures in a sequence. For example, the sign datahiding enabled flag may represent whether a sign data hiding used flagrepresenting whether the sign data hiding is used for a current slicemay be present. For example, the sign data hiding enabled flag having avalue of 1 may represent that the sign data hiding is enabled, and thesign data hiding enabled flag having a value of 0 may represent that thesign data hiding is not enabled. For example, the sign data hidingenabled flag having a value of 1 may represent that the sign data hidingused flag may be present, and the sign data hiding enabled flag having avalue of 0 may represent that the sign data hiding used flag is notpresent. Also, for example, the sign data hiding enabled flag may besignaled in an SPS syntax. Alternatively, for example, the sign datahiding enabled flag may be signaled in a picture header syntax or aslice header syntax. The syntax element of the sign data hiding enabledflag may be the sps_sign_data_hiding_enabled_flag.

The decoding apparatus obtains a transform skip residual coding (TSRC)enabled flag based on the sign data hiding enabled flag (S1010). Theimage information may include the TSRC enabled flag.

For example, the decoding apparatus may obtain the TSRC enabled flagbased on the sign data hiding enabled flag. For example, the TSRCenabled flag may be obtained based on the sign data hiding enabled flaghaving a value of 0. That is, for example, when a value of the sign datahiding enabled flag is 0 (that is, the sign data hiding enabled flagrepresents that the sign data hiding is not enabled), the TSRC enabledflag may be obtained. In other words, for example, when a value of thesign data hiding enabled flag is 0 (that is, the sign data hidingenabled flag represents that the sign data hiding is not enabled), theTSRC enabled flag may be signaled. Also, for example, when the value ofthe sign data hiding enabled flag is 1, the TSRC enabled flag may not beobtained, and a value of the TSRC enabled flag may be derived as 0. Thatis, for example, when the value of the sign data hiding enabled flag is1, the TSRC enabled flag may not be signaled, and a value of the TSRCenabled flag may be derived as 0.

Here, for example, the TSRC enabled flag may be a flag for whether theTSRC is enabled. That is, for example, the TSRC enabled flag may a flagrepresenting whether the TSRC is enabled for blocks in a slice. Forexample, the TSRC enabled flag having a value of 1 may represent thatthe TSRC is not enabled, and the TSRC enabled flag having a value of 0may represent that the TSRC is enabled. Also, for example, the TSRCenabled flag may be signaled in a slice header syntax. The syntaxelement of the TSRC enabled flag may be the above-describedsh_ts_residual_coding_disabled_flag.

Meanwhile, for example, the decoding apparatus may obtain a dependentquantization enabled flag. The decoding apparatus may obtain imageinformation including the dependent quantization enabled flag through abitstream. The image information may include the dependent quantizationenabled flag. For example, the dependent quantization enabled flag maybe a flag for whether the dependent quantization is enabled. Forexample, the dependent quantization enabled flag may represent whetherthe dependent quantization is enabled. That is, for example, thedependent quantization enabled flag may represent whether the dependentquantization is enabled for blocks of pictures in a sequence. Forexample, the dependent quantization enabled flag may represent whether adependent quantization used flag representing whether the dependentquantization is used for a current slice may be present. For example,the dependent quantization enabled flag having a value of 1 mayrepresent that the dependent quantization is enabled, and the dependentquantization enabled flag having a value of 0 may represent that thedependent quantization is not enabled. Also, for example, the dependentquantization enabled flag may be signaled in an SPS syntax or a sliceheader syntax. The syntax element of the dependent quantization enabledflag may be the above-described sps_dep_quant_enabled_flag. Thesps_dep_quant_enabled_flag may be referred to assh_dep_quant_enabled_flag, sh_dep_quant_used_flag, orph_dep_quant_enabled_flag.

Further, for example, the decoding apparatus may obtain a transform skipenabled flag. The decoding apparatus may image information including thetransform skip enabled flag through the bitstream. Image information mayinclude the transform skip enabled flag. Here, the current block may bea coding block (CB) or a transform block (TB). For example, thetransform skip enabled flag may be a flag for whether the transform skipis enabled. For example, the transform skip enabled flag may representwhether the transform skip is enabled. That is, for example, thetransform skip enabled flag may represent whether the transform skip isenabled for the blocks of the pictures in the sequence. For example, thetransform skip enabled flag may represent whether the transform skipflag can be present. For example, the transform skip enabled flag havingthe value of 1 may represent that the transform skip is enabled, and thetransform skip enabled flag having the value of 0 may represent that thetransform skip is not enabled. That is, for example, the transform skipenabled flag having the value of 1 may represent that the transform skipflag can be present, and the transform skip enabled flag having thevalue of 0 may represent that the transform skip flag is not present.Further, for example, the transform skip enabled flag may be signaled toa sequence parameter set (SPS) syntax. The syntax element of thetransform skip enabled flag may be the above-describedsps_transform_skip_enabled_flag.

Further, for example, the TSRC enabled flag may be obtained based on thesign data hiding enabled flag, the dependent quantization enabled flag,and/or the transform skip enabled flag. For example, the TSRC enabledflag may be obtained based on the sign data hiding enabled flag having avalue of 0, the dependent quantization enabled flag having a value of 0,and the transform skip enabled flag having a value of 1. That is, forexample, when a value of the sign data hiding enabled flag is 0 (thatis, the sign data hiding enabled flag represents that sign data hidingis not enabled), a value of the dependent quantization enabled flag is 0(that is, the dependent quantization enabled flag represents thatdependent quantization is not enabled), and a value of the transformskip enabled flag is 1 (that is, the transform skip enabled flagrepresents that transform skip is enabled), the TSRC The enabled flagmay be obtained (or signaled). Also, for example, when the value of thedependent quantization enabled flag is 1, the TSRC enabled flag may notbe obtained, and the value of the TSRC enabled flag may be derived as 0.That is, for example, when the value of the dependent quantizationenabled flag is 1, the TSRC enabled flag may not be signaled, and thevalue of the TSRC enabled flag may be derived as 0. Also, for example,when the value of the transform skip enabled flag is 0, the TSRC enabledflag may not be obtained, and the value of the TSRC enabled flag may bederived as 0. That is, for example, when the value of the transform skipenabled flag is 0, the TSRC enabled flag may not be signaled, and thevalue of the TSRC enabled flag may be derived as 0.

The decoding apparatus obtains residual information for a current blockbased on the TSRC enabled flag (S1020). The decoding may obtain residualinformation for a current block based on the TSRC enabled flag.

For example, the decoding apparatus may determine a residual codingsyntax for the current block based on the TSRC enabled flag. Forexample, the decoding apparatus may determine the residual coding syntaxfor the current block as one of a regular residual coding (RRC) syntaxand a transform skip residual coding (TSRC) syntax based on the TSRCenabled flag. The RRC syntax may represent a syntax according to RRC,and the TSRC syntax may represent a syntax according to the TSRC.

For example, based on the TSRC enabled flag having the value of 1, theresidual coding syntax for the current block may be determined as theregular residual coding (RRC) syntax. In this case, for example, atransform skip flag for whether transform skip is applied to the currentblock may be obtained based on the transform skip enabled flag having avalue of 1, and the value of the transform skip flag may be 1. Forexample, the image information may include the transform skip flag forthe current block. The transform skip flag may represent whether thecurrent block is the transform skip block. That is, the transform skipflag may represent whether the transform has been applied to thetransform coefficients of the current block. The syntax elementrepresenting the transform skip flag may be the transform skip flag asdescribed above. For example, if the value of the transform skip flag is1, the transform skip flag may represent that the transform has not beenapplied to the current block (i.e., transform skipped), whereas if thevalue of the transform skip flag is 0, the transform skip flag mayrepresent that the transform has been applied to the current block. Forexample, if the current block is the transform skip block, the value ofthe transform skip flag for the current block may be 1.

Further, for example, based on the TSRC enabled flag having the value of0, the residual coding syntax for the current block may be determined asthe transform skip residual coding (TSRC) syntax. Further, for example,the transform skip flag for whether transform skip is applied to thecurrent block may be obtained, and based on the transform skip flaghaving the value of 1 and the TSRC enabled flag having the value of 0,the residual coding syntax for the current block may be determined asthe transform skip residual coding (TSRC) syntax. Further, for example,the transform skip flag for whether transform skip is applied to thecurrent block may be obtained, and based on the transform skip flaghaving the value of 0 and the TSRC enabled flag having the value of 0,the residual coding syntax for the current block may be determined asthe regular residual coding (RRC) syntax.

Thereafter, for example, the decoding apparatus may obtain the residualinformation of the determined residual coding syntax for the currentblock. For example, residual information of the regular residual coding(RRC) syntax may be obtained based on the TSRC enabled flag having thevalue of 1, and residual information of the TSRC syntax may be obtainedbased on the TSRC enabled flag having the value of 0. The imageinformation may include the residual information.

For example, if the residual coding syntax for the current block isdetermined as the RRC syntax, the decoding apparatus may obtain theresidual information of the RRC syntax for the current block. Forexample, the residual information of the RRC syntax may include thesyntax elements disclosed in Table 2 as described above.

For example, the residual information of the RRC syntax may include thesyntax elements for the transform coefficient of the current block.Here, the transform coefficient may be represented as the residualcoefficient.

For example, the syntax elements may include syntax elements, such aslast_sig_coeff_x_prefix, last_sig_coeff_y_prefix,last_sig_coeff_x_suffix, last_sig_coeff_y_suffix, sb_coded_flag,sig_coeff_flag, par_level_flag, abs_level_gtX_flag (e.g.,abs_level_gtx_flag[n][0] and/or abs_level_gtx_flag[n][1]),abs_remainder, dec_abs_level, and/or coeff_sign_flag.

Specifically, for example, the syntax elements may include positioninformation representing the position of the last non-zero transformcoefficient in a residual coefficient array of the current block. Thatis, the syntax elements may include the position informationrepresenting the position of the last non-zero transform coefficient inthe scanning order of the current block. The position information mayinclude information representing a prefix in a column position of thelast non-zero transform coefficient, information representing a prefixin a row position of the last non-zero transform coefficient,information representing a suffix of the column position of the lastnon-zero transform coefficient, and information representing a suffix inthe row position of the last non-zero transform coefficient. The syntaxelements for the position information may be last_sig_coeff_x_prefix,last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, andlast_sig_coeff_y_suffix. Meanwhile, the non-zero transform coefficientmay be called a significant coefficient.

Further, for example, the syntax elements may include a coded subblockflag representing whether the current subblock of the current blockincludes the non-zero transform coefficient, a significant coefficientflag representing whether the transform coefficient of the current blockis the non-zero transform coefficient, a first coefficient level flagfor whether the coefficient level for the transform coefficient islarger than a first threshold value, a parity level flag for a parity ofthe coefficient level, and/or a second coefficient level flag forwhether the coefficient level of the transform coefficient is largerthan a second threshold value. Here, the coded subblock flag may be thesb_coded_flag or coded_sub_block_flag, the significant coefficient flagmay be the sig_coeff_flag, the first coefficient level flag may be theabs_level_gt1_flag or the abs_level_gtx_flag, the parity level flag maybe the par_level_flag, and the second coefficient level flag may be theabs_level_gt3_flag or the abs_level_gtx_flag.

Further, for example, the syntax elements may include coefficient valuerelated information for the transform coefficient value of the currentblock. The coefficient value related information may be an abs_remainderand/or a dec_abs_level.

Further, for example, the syntax elements may include a sign flagrepresenting the sign of the transform coefficient. The sign flag may bethe coeff_sign_flag.

Meanwhile, for example, when the sign data hiding is applied to thecurrent block, a sign flag of a first significant transform coefficientof a current coefficient group (CG) in the current block may be notsignaled. That is, for example, when the sign data hiding is applied tothe current block, the syntax elements may not include a sign flagrepresenting a sign of the first significant transform coefficient.Meanwhile, for example, whether the sign data hiding is applied to thecurrent block may be derived based on the sign data hiding enabled flagand/or a position of the first significant transform coefficient and aposition of the last significant transform coefficient of the currentCG. For example, when a value of the sign data hiding enabled flag is 1,and a value obtained by subtracting the position of the firstsignificant transform coefficient from the position of the lastsignificant transform coefficient is greater than 3, (that is, when avalue of the sign data hiding enabled flag is 1, and a number ofsignificant transform coefficients in the current CG is greater than 3),the sign data hiding may be applied to the current CG of the currentblock.

Further, for example, if the residual coding syntax for the currentblock is determined as the TSRC syntax, the decoding apparatus mayobtain the residual information of the TSRC syntax for the currentblock. For example, the residual information of the TSRC syntax mayinclude the syntax elements disclosed in Table 3 as described above.

For example, the residual information of the TSRC syntax may include thesyntax elements for the transform coefficient of the current block.Here, the transform coefficient may be represented as the residualcoefficient.

For example, the syntax elements may include context-coded syntaxelements for the transform coefficient and/or bypass-coded syntaxelements. The syntax elements may include the syntax elements, such assig_coeff_flag, coeff_sign_flag, par_level_flag, abs_level_gtX_flag(e.g., abs_level_gtx_flag[n][0], abs_level_gtx_flag[n][1],abs_level_gtx_flag[n][2], abs_level_gtx_flag[n][3], and/orabs_level_gtx_flag[n][4]), abs_remainder, and/or coeff_sign_flag.

For example, the context-coded syntax elements for the transformcoefficient may include a significant coefficient flag representingwhether the transform coefficient is the non-zero transform coefficient,a sign flag representing the sign for the transform coefficient, a firstcoefficient level flag for whether the coefficient level for thetransform coefficient is larger than a first threshold value, and/or aparity level flag for the parity of the transform level for thetransform coefficient. Further, for example, the context-coded syntaxelements may include a second coefficient level flag for whether thecoefficient level of the transform coefficient Further, for example, thecontext-coded syntax elements may include a second coefficient levelflag for whether the coefficient level of the transform coefficient islarger than a second threshold value, a third coefficient level flag forwhether the coefficient level of the transform coefficient is largerthan a third threshold value, a fourth coefficient level flag forwhether the coefficient level of the transform coefficient is largerthan a fourth threshold value, and/or a fifth coefficient level flag forwhether the coefficient level of the transform coefficient is largerthan a fifth threshold value. Here, the significant coefficient flag maybe the sig_coeff_flag, the sign flag may be the ceff_sign_flag, thefirst coefficient level flag may be the abs_level_gt1_flag, and theparity level flag may be the par_level_flag. Further, the secondcoefficient level flag may be the abs_level_gt3_flag or theabs_level_gtx_flag, the third coefficient level flag may be theabs_level_gt5_flag or the abs_level_gtx_flag, the fourth coefficientlevel flag may be the abs_level_gt7_flag or the abs_level_gtx_flag, andthe fifth coefficient level flag may be the abs_level_gt9_flag or theabs_level_gtx_flag.

Further, for example, the bypass-coded syntax elements for the transformcoefficient may include coefficient level information for the value ofthe transform coefficient (or coefficient level) and/or a sign flagrepresenting the sign for the transform coefficient. The coefficientlevel information may be the abs_remainder and/or the dec_abs_level, andthe sign flag may be the ceff_sign_flag.

The decoding apparatus derives a residual sample of the current blockbased on the residual information (S1030). For example, the decodingapparatus may derive transform coefficients of the current block basedon the residual information, and may derive residual samples of thecurrent block base on the transform coefficients.

For example, the decoding apparatus may derive the transformcoefficients of the current block based on the syntax elements of theresidual information. Thereafter, the decoding apparatus may derive theresidual samples of the current block based on the transformcoefficients. As an example, if it is derived that the transform is notapplied for the current block based on the transform skip flag, that is,if the value of the transform skip flag is 1, the decoding apparatus mayderive the transform coefficients as the residual samples of the currentblock. Further, for example, if it is derived that the transform is notapplied for the current block based on the transform skip flag, that is,if the value of the transform skip flag is 1, the decoding apparatus mayderive the residual samples of the current block by dequantizing thetransform coefficients. Further, for example, if it is derived that thetransform is applied for the current block based on the transform skipflag, that is, if the value of the transform skip flag is 0, thedecoding apparatus may derive the residual samples of the current blockby performing inverse transform of the transform coefficients. Further,for example, if it is derived that the transform is applied for thecurrent block based on the transform skip flag, that is, if the value ofthe transform skip flag is 0, the decoding apparatus may derive theresidual samples of the current block by dequantizing the transformcoefficients and performing inverse transform of the dequantizedtransform coefficients.

Meanwhile, in case that the dependent quantization is applied for thecurrent block, the decoding apparatus may derive the residual samples ofthe current block by performing the dependent quantization process forthe transform coefficients. For example, in case that the dependentquantization is applied for the current block, the decoding apparatusmay update the state (Qstate) for the dependent quantization based onthe coefficient level of the transform coefficient just before thecurrent transform coefficient in the scanning order, may derive thecoefficient level of the current transform coefficient based on theupdated state and the syntax elements for the current transformcoefficient, and may derive the residual sample by dequantizing thederived coefficient level. For example, the current transformcoefficient may be dequantized based on the quantization parameter for areconstructed level of the current transform coefficient in a scalarquantizer for the updated state. Here, the reconstructed level may bederived based on the syntax elements for the current transformcoefficient.

Meanwhile, for example, when the sign data hiding is applied to thecurrent block, a sign of a first significant transform coefficient ofthe current CG in the current block may be derived based on the sum ofabsolute values of significant transform coefficients in the current CG.For example, when the sum of the absolute values of the significanttransform coefficients is even, the sign of the first significanttransform coefficient may be derived as a positive value, and when thesum of the absolute values of the significant transform coefficients isodd, the sign of the first significant transform coefficient may bederived as a negative value.

The decoding apparatus generates a reconstructed picture based on theresidual sample (S1040). For example, the decoding apparatus maygenerate the reconstructed sample and/or reconstructed picture of thecurrent block based on the residual sample. For example, the decodingapparatus may derive a prediction sample by performing an interprediction mode or an intra prediction mode on the current block basedon prediction information received through the bitstream, and maygenerate the reconstructed sample through addition of the predictionsample and the residual sample to each other.

Thereafter, as needed, in order to enhance the subjective/objectivepicture quality, an in-loop filtering procedure, such as deblockingfiltering, SAO and/or ALF procedure, may be applied to the reconstructedpicture as described above.

FIG. 11 briefly illustrates a decoding apparatus for performing an imagedecoding method according to the present disclosure. The methoddisclosed in FIG. 10 may be performed by the decoding apparatusdisclosed in FIG. 11 . Specifically, for example, the entropy decoder ofthe decoding apparatus of FIG. 11 may perform S1000 to S1020 of FIG. 10, the residual processor of the decoding apparatus of FIG. 11 mayperform S1030 of FIG. 10 , and the adder of the decoding apparatus ofFIG. 11 may perform S1040 of FIG. 10 . Further, although notillustrated, a process of receiving prediction information for thecurrent block may be performed by the entropy decoder of the decodingapparatus of FIG. 11 , and a process of deriving a prediction sample ofthe current block may be performed by the predictor of the decodingapparatus of FIG. 11 .

According to the present disclosure, the residual coding efficiency canbe enhanced.

Further, according to the present disclosure, the TSRC enabled flag canbe signaled when the sign data hiding is not enabled by setting thesignaling relationship between the sign data hiding enabled flag and theTSRC enabled flag, through this, when the RRC syntax is coded for thetransform skip block because the TSRC is not enabled, sign data hidingis not used to improve coding efficiency, and the overall residualcoding efficiency can be improved through reduction of the amount ofbits being coded.

Further, according to the present disclosure, the signaling relationshipbetween the dependent quantization enabled flag and the TSRC enabledflag can be established, and if the dependent quantization is notenabled, the TSRC enabled flag can be signaled, and through this, if theTSRC is not enabled and then the RRC syntax is coded for the transformskip block, the dependent quantization is not to be used, so that thecoding efficiency can be improved, and the overall residual codingefficiency can be improved through the reduction of the amount of bitsbeing coded.

Further, according to the present disclosure, the signaling relationshipbetween the transform skip enabled flag and the TSRC enabled flag can beestablished, and if the transform skip is enabled, the TSRC enabled flagcan be signaled, and through this, the overall residual codingefficiency can be improved through the reduction of the amount of bitsbeing coded.

In the above-described embodiment, the methods are described based onthe flowchart having a series of steps or blocks. The present disclosureis not limited to the order of the above steps or blocks. Some steps orblocks may occur simultaneously or in a different order from other stepsor blocks as described above. Further, those skilled in the art willunderstand that the steps shown in the above flowchart are notexclusive, that further steps may be included, or that one or more stepsin the flowchart may be deleted without affecting the scope of thepresent disclosure.

The embodiments described in this specification may be performed bybeing implemented on a processor, a microprocessor, a controller or achip. For example, the functional units shown in each drawing may beperformed by being implemented on a computer, a processor, amicroprocessor, a controller or a chip. In this case, information forimplementation (e.g., information on instructions) or algorithm may bestored in a digital storage medium.

In addition, the decoding apparatus and the encoding apparatus to whichthe present disclosure is applied may be included in a multimediabroadcasting transmission/reception apparatus, a mobile communicationterminal, a home cinema video apparatus, a digital cinema videoapparatus, a surveillance camera, a video chatting apparatus, areal-time communication apparatus such as video communication, a mobilestreaming apparatus, a storage medium, a camcorder, a VoD serviceproviding apparatus, an Over the top (OTT) video apparatus, an Internetstreaming service providing apparatus, a three-dimensional (3D) videoapparatus, a teleconference video apparatus, a transportation userequipment (e.g., vehicle user equipment, an airplane user equipment, aship user equipment, etc.) and a medical video apparatus and may be usedto process video signals and data signals. For example, the Over the top(OTT) video apparatus may include a game console, a blue-ray player, aninternet access TV, a home theater system, a smart phone, a tablet PC, aDigital Video Recorder (DVR), and the like.

Furthermore, the processing method to which the present disclosure isapplied may be produced in the form of a program that is to be executedby a computer and may be stored in a computer-readable recording medium.Multimedia data having a data structure according to the presentdisclosure may also be stored in computer-readable recording media. Thecomputer-readable recording media include all types of storage devicesin which data readable by a computer system is stored. Thecomputer-readable recording media may include a BD, a Universal SerialBus (USB), ROM, PROM, EPROM, EEPROM, RAM, CD-ROM, a magnetic tape, afloppy disk, and an optical data storage device, for example.Furthermore, the computer-readable recording media includes mediaimplemented in the form of carrier waves (e.g., transmission through theInternet). In addition, a bit stream generated by the encoding methodmay be stored in a computer-readable recording medium or may betransmitted over wired/wireless communication networks.

In addition, the embodiments of the present disclosure may beimplemented with a computer program product according to program codes,and the program codes may be performed in a computer by the embodimentsof the present disclosure. The program codes may be stored on a carrierwhich is readable by a computer.

FIG. 12 illustrates a structural diagram of a contents streaming systemto which the present disclosure is applied.

The content streaming system to which the embodiment(s) of the presentdisclosure is applied may largely include an encoding server, astreaming server, a web server, a media storage, a user device, and amultimedia input device.

The encoding server compresses content input from multimedia inputdevices such as a smartphone, a camera, a camcorder, etc. Into digitaldata to generate a bitstream and transmit the bitstream to the streamingserver. As another example, when the multimedia input devices such assmartphones, cameras, camcorders, etc. directly generate a bitstream,the encoding server may be omitted.

The bitstream may be generated by an encoding method or a bitstreamgenerating method to which the embodiment(s) of the present disclosureis applied, and the streaming server may temporarily store the bitstreamin the process of transmitting or receiving the bitstream.

The streaming server transmits the multimedia data to the user devicebased on a user's request through the web server, and the web serverserves as a medium for informing the user of a service. When the userrequests a desired service from the web server, the web server deliversit to a streaming server, and the streaming server transmits multimediadata to the user. In this case, the content streaming system may includea separate control server. In this case, the control server serves tocontrol a command/response between devices in the content streamingsystem.

The streaming server may receive content from a media storage and/or anencoding server. For example, when the content is received from theencoding server, the content may be received in real time. In this case,in order to provide a smooth streaming service, the streaming server maystore the bitstream for a predetermined time.

Examples of the user device may include a mobile phone, a smartphone, alaptop computer, a digital broadcasting terminal, a personal digitalassistant (PDA), a portable multimedia player (PMP), navigation, a slatePC, tablet PCs, ultrabooks, wearable devices (ex. Smartwatches, smartglasses, head mounted displays), digital TVs, desktops computer, digitalsignage, and the like. Each server in the content streaming system maybe operated as a distributed server, in which case data received fromeach server may be distributed.

The claims described in the present disclosure may be combined invarious ways. For example, the technical features of the method claimsof the present disclosure may be combined to be implemented as anapparatus, and the technical features of the apparatus claims of thepresent disclosure may be combined to be implemented as a method. Inaddition, the technical features of the method claim of the presentdisclosure and the technical features of the apparatus claim may becombined to be implemented as an apparatus, and the technical featuresof the method claim of the present disclosure and the technical featuresof the apparatus claim may be combined to be implemented as a method.

What is claimed is:
 1. An image decoding method performed by a decodingapparatus, the method comprising: obtaining a sign data hiding enabledflag; obtaining a Transform Skip Residual Coding (TSRC) disabled flagbased on the sign data hiding enabled flag; obtaining residualinformation for a current block based on the TSRC disabled flag;deriving a residual sample of the current block based on the residualinformation; and generating a reconstructed picture based on theresidual sample, wherein the sign data hiding enabled flag is a flag forwhether sign data hiding is enabled, wherein the TSRC disabled flag is aflag for whether TSRC is used, and wherein the TSRC disabled flag isobtained from a bitstream in response to a value of the sign data hidingenabled flag being equal to
 0. 2. The image decoding method of claim 1,wherein in response to the value of the sign data hiding enabled flagbeing equal to 0, the TSRC disabled flag is obtained from the bitstream.3. The image decoding method of claim 1, wherein in response to thevalue of the sign data hiding enabled flag being equal to 1, the TSRCdisabled flag is not obtained from the bitstream, and a value of theTSRC disabled flag is derived as
 0. 4. The image decoding method ofclaim 3, wherein in response to the value of the sign data hidingenabled flag being equal to 1, a sign of a first significant transformcoefficient of a current coefficient group (CG) in the current block isderived based on a sum of absolute values of significant transformcoefficients in the current CG.
 5. The image decoding method of claim 4,wherein in response to the value of the sign data hiding enabled flagbeing equal to 1, a sign flag for the first significant transformcoefficient is not signaled.
 6. The image decoding method of claim 1,wherein the sign data hiding enabled flag having the value of 1represents that the sign data hiding is enabled, and wherein the signdata hiding enabled flag having the value of 0 represents that the signdata hiding is not enabled.
 7. The image decoding method of claim 1,wherein the TSRC disabled flag having a value of 1 represents that theTSRC is not used, and wherein the TSRC disabled flag having the value of0 represents that the TSRC is used.
 8. The image decoding method ofclaim 7, wherein the residual information for the current block isobtained from a regular residual coding (RRC) syntax in response to thevalue of the TSRC disabled flag being equal to
 1. 9. The image decodingmethod of claim 8, wherein a transform skip flag for whether transformskip is applied to the current block is obtained from the bitstream. 10.The image decoding method of claim 7, wherein in response to a casewhere the current block is a transform skip block and the value of theTSRC disabled flag is equal to 0, the residual information for thecurrent block is obtained from a TSRC syntax.
 11. The image decodingmethod of claim 10, wherein the residual information of the TSRC syntaxincludes context-coded syntax elements for a transform coefficient, andwherein the context-coded syntax elements include a significantcoefficient flag representing whether the transform coefficient is anon-zero transform coefficient, a parity level flag for a parity of acoefficient level for the transform coefficient, a sign flagrepresenting a sign for the transform coefficient, a first coefficientlevel flag for whether the coefficient level is larger than a firstthreshold value, and a second coefficient level flag for whether thecoefficient level of the transform coefficient is larger than a secondthreshold value.
 12. An image encoding method performed by an encodingapparatus, the method comprising: encoding a sign data hiding enabledflag for whether sign data hiding is enabled; encoding a Transform SkipResidual Coding (TSRC) disabled flag for whether TSRC is used based onthe sign data hiding enabled flag; encoding residual information for acurrent block based on the TSRC disabled flag; and generating abitstream including the sign data hiding enabled flag, the TSRC disabledflag and the residual information, wherein the TSRC disabled flag isencoded into the bitstream in response to a value of the sign datahiding enabled flag being equal to
 0. 13. The image encoding method ofclaim 12, wherein in response to the value of the sign data hidingenabled flag being equal to 0, the TSRC disabled flag is encoded. 14.The image encoding method of claim 12, wherein in response to the valueof the sign data hiding enabled flag being equal to 1, the TSRC disabledflag is not encoded.
 15. A non-transitory computer-readable storagemedium for storing a bitstream generated by an image encoding method,the image encoding method comprising: encoding a sign data hidingenabled flag for whether sign data hiding is enabled; encoding aTransform Skip Residual Coding (TSRC) disabled flag for whether TSRC isused based on the sign data hiding enabled flag; encoding residualinformation for a current block based on the TSRC disabled flag; andgenerating a bitstream including the sign data hiding enabled flag, theTSRC disabled flag and the residual information, wherein the TSRCdisabled flag is encoded into the bitstream in response to a value ofthe sign data hiding enabled flag being equal to
 0. 16. A method fortransmitting data for image information comprising: encoding a sign datahiding enabled flag for whether sign data hiding is enabled; encoding aTransform Skip Residual Coding (TSRC) disabled flag for whether TSRC isused based on the sign data hiding enabled flag; encoding residualinformation for a current block based on the TSRC disabled flag; andgenerating a bitstream including the sign data hiding enabled flag, theTSRC disabled flag and the residual information, wherein the TSRCdisabled flag is encoded into the bitstream in response to a value ofthe sign data hiding enabled flag being equal to 0.